Function get_version

lean_py/z3/core.py:4345–4347

Return version tuple.

()

def get_version() -> tuple[int, int, int, int]:
    """Return version tuple."""
    return (4, 0, 0, 0)


def get_version_string() -> str: