Function SimpleSolver

lean_py/z3/solver.py:769–771

Create a simple solver (returns standard Solver).

()

def SimpleSolver() -> Solver:
    """Create a simple solver (returns standard Solver)."""
    return Solver()


def solve_using(s: Solver, *args: BoolRef) -> CheckSatResult: