[−][src]Crate varisat_formula

Basic formula data types used by the Varisat SAT solver.

Re-exports

pub use cnf::CnfFormula;
pub use cnf::ExtendFormula;
pub use lit::Lit;
pub use lit::Var;

Modules

cnf

CNF formulas.

lit

Literals and variables.