Crate batsat

Re-exports

pub use crate::callbacks::Basic as BasicCallbacks;

pub use crate::callbacks::Callbacks;

pub use crate::callbacks::ProgressStatus;

pub use crate::callbacks::Stats as StatsCallbacks;

pub use crate::clause::display::Print;

pub use crate::clause::lbool;

pub use crate::clause::Kind as ClauseKind;

pub use crate::clause::LMap;

pub use crate::clause::LSet;

pub use crate::clause::Lit;

pub use crate::clause::VMap;

pub use crate::clause::Var;

pub use crate::core::Solver;

pub use crate::core::SolverOpts;

pub use crate::interface::SolverInterface;

pub use crate::theory::EmptyTheory;

pub use crate::theory::Theory;

pub use crate::theory::TheoryArg;

Modules

alloc
callbacks
clause
core
dimacs
drat	DRAT proofs
interface
intmap
theory

Type Definitions

BasicSolver

Basic solver, with basic callbacks and no theory