Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class (Negatable lit, Eq lit, Ord lit) => ClauseNormalFormula cnf lit | cnf -> lit where Source
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.