[−][src]Crate batsat
Batsat
A SAT solver in rust, originally reimplement from Minisat 2.2 (which is in C++), and evolved from there.
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. |