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

Safe HaskellNone

Data.Logic.Harrison.DP

Documentation

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