Module conjure_core::solver::adaptors

Solver adaptors.

Structs

• Kissat
  A SolverAdaptor for interacting with the Kissat SAT solver.
• Minion
  A SolverAdaptor for interacting with Minion.