conjure_
core
0.0.1
Module adaptors
Module Items
Modules
Structs
In conjure_
core::
solver
conjure_core
::
solver
Module
adaptors
Copy item path
Source
Expand description
Solver adaptors.
Modules
§
minion
rustsat
Structs
§
Minion
A
SolverAdaptor
for interacting with Minion.
Sat
A
SolverAdaptor
for interacting with the SatSolver generic and the types thereof.