conjure_core::solver::adaptors

Module rustsat

Source

Structsยง

Sat
A SolverAdaptor for interacting with the SatSolver generic and the types thereof.