Skip to main content
Module rustsat
conjure_
cp
0.1.0
Module rustsat
Module Items
Structs
Enums
In conjure_
cp::
solver::
adaptors
conjure_cp
::
solver
::
adaptors
Module
rustsat
Copy item path
Source
Structs
§
Sat
A
SolverAdaptor
with runtime selection among the compiled SAT backends.
Enums
§
SatBackend
SAT backends compiled into this build. The default is CaDiCaL when available, otherwise BatSat.