conjure_oxide::solver

Module adaptors

Source
Expand description

Solver adaptors.

Structsยง

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