[−][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. |
Constants
| _DERIVE_failure_Fail_FOR_SolverError | |
| _DERIVE_failure_core_fmt_Display_FOR_SolverError |