Function open_log

lean_py/z3/core.py:4340–4342

Open Z3 log file (no-op).

(filename: str)

def open_log(filename: str) -> None:
    """Open Z3 log file (no-op)."""
    pass


def get_version() -> tuple[int, int, int, int]: