[−][src]Module varisat_formula::cnf
CNF formulas.
Modules
| strategy |
Structs
| CnfFormula | A formula in conjunctive normal form (CNF). |
| NewVarIter | Iterator over new variables or literals. |
Traits
| ExtendFormula | Extend a formula with new variables and clauses. |
| UniformTuple | Helper trait to initialize multiple variables of the same type. |