logic-classes-1.5.2: Framework for propositional and first order logic, theorem proving

Safe HaskellNone
LanguageHaskell98

Data.Logic.Harrison.DP

Documentation

tests :: Test Source

dpll :: forall lit atom. (Literal lit atom, Ord lit) => Set (Set lit) -> Failing Bool Source