Type Alias BasicSolver 

pub type BasicSolver = Solver<BasicCallbacks>;

RustSAT wrapper for batsat::BasicSolver

Aliased Type

pub struct BasicSolver { /* private fields */ }