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.