prodigy.analysis.solver.solver_type¶
- class SolverType(*values)[source]¶
Bases:
Enum- SYMPY = <class 'prodigy.analysis.solver.sympy_solver.SympySolver'>¶
- Z3 = <class 'prodigy.analysis.solver.smtz3_solver.SMTZ3Solver'>¶
- TRUE = <class 'prodigy.analysis.solver.mock_solver.MockTrueSolver'>¶
- FALSE = <class 'prodigy.analysis.solver.mock_solver.MockFalseSolver'>¶
- NONE = <class 'prodigy.analysis.solver.mock_solver.MockNoneSolver'>¶
- static make(st, *args, **kwargs)[source]¶
- Parameters:
st (
SolverType)- Return type: