Expand description
Solver adaptors.
Modules§
- kissat
- minion
- sat_
common - Common code for SAT adaptors. Primarily, this is CNF related code.
Structs§
- Kissat
- A SolverAdaptor for interacting with the Kissat SAT solver.
- Minion
- A SolverAdaptor for interacting with Minion.