Type Alias BasicSolver

pub type BasicSolver = Solver<BasicCallbacks>;

RustSAT wrapper for batsat::BasicSolver

Aliased Type

struct BasicSolver { /* private fields */ }