[−][src]Module varisat::solver
Boolean satisfiability solver.
Structs
Solver | A boolean satisfiability solver. |
Enums
ProofFormat | Proof formats that can be generated during solving. |
SolverError | Possible errors while solving a formula. |
Boolean satisfiability solver.
Solver | A boolean satisfiability solver. |
ProofFormat | Proof formats that can be generated during solving. |
SolverError | Possible errors while solving a formula. |