Safe Haskell | Safe-Inferred |
---|
Documentation
class (Negatable lit, Eq lit, Ord lit) => ClauseNormalFormula cnf lit | cnf -> lit whereSource
A class to represent formulas in CNF, which is the conjunction of a set of disjuncted literals each which may or may not be negated.