[−][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. |
test |
Macros
cnf | Shortcut for tests |
cnf_formula | Shortcut for tests |
lit | Shortcut for tests |
lits | Shortcut for tests |
var | Shortcut for tests |
vars | Shortcut for tests |