logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving
Data.Logic.Instances.PropLogic
flatten :: PropForm a -> PropForm aSource
plSat0 :: (PropAlg a (PropForm formula), PropositionalFormula formula atom, Ord formula) => PropForm formula -> BoolSource
plSat :: forall m formula atom term v f. (Monad m, FirstOrderFormula formula atom v, PropositionalFormula formula atom, Atom atom term v, Term term v f, Eq formula, Literal formula atom, Ord formula) => formula -> SkolemT v term m BoolSource