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 Aliases

• BasicSolver
  Basic solver, with basic callbacks and no theory.