conjure_
core
0.0.1
Module adaptors
Module Items
Structs
In conjure_
core::
solver
conjure_core
::
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.