conjure_
oxide
0.0.1
Module adaptors
Module Items
Structs
In conjure_
oxide::
solver
conjure_oxide
::
solver
Module
adaptors
Copy item path
Source
Expand description
Solver adaptors.
Structs
ยง
Kissat
A
SolverAdaptor
for interacting with the Kissat SAT solver.
Minion
A
SolverAdaptor
for interacting with Minion.