Module satire::formula [−][src]
Expand description
A module to represent conjunctive normal form formula.
Structs
Disjunction variables
Formula representation in Conjunctive Normal Form
Represents a satisfying assignment for a formula.
Newtype wrapper for variable ID. Internally uses 0-based index, but uses 1-based index for printing