Expand description
Solver adaptors.
Modules§
Structs§
- Minion
- A SolverAdaptor for interacting with Minion.
- Sat
- A SolverAdaptor for interacting with the SatSolver generic and the types thereof.
- Smt
- A SolverAdaptor for interacting with SMT solvers, specifically Z3.