Expand description
Solver adaptors.
Modules§
Structs§
- Minion
- A SolverAdaptor for interacting with Minion.
- Sat
- A SolverAdaptor with runtime selection among the compiled SAT backends.
- Smt
- A SolverAdaptor for interacting with SMT solvers, specifically Z3.
Enums§
- Minion
Value Order - Value-order override for Minion search.
- Minion
Variable Order - Variable-order override for Minion search.
- SatBackend
- SAT backends compiled into this build. The default is CaDiCaL when available, otherwise BatSat.