conjure_oxide::solver::adaptors

Module kissat

Source

Structsยง

Kissat
A SolverAdaptor for interacting with the Kissat SAT solver.