Function SolverFor

lean_py/z3/solver.py:764–766

Create a solver for a specific logic (returns standard Solver).

(logic: str)

def SolverFor(logic: str) -> Solver:
    """Create a solver for a specific logic (returns standard Solver)."""
    return Solver()


def SimpleSolver() -> Solver: