Module formula

Structs

Formula

Represents a formula in propositional logic

TripletFormula

Represents a formula in triplet form for Stalmarck’s algorithm

Enums

ImplicationFormula

Represents a formula in implication form

TripletVar

Represents a variable or constant in triplet form