lib:logic-classes

Modules

• Data.Boolean
• Data.Boolean.SatSolver
• Data.Logic
• Data.Logic.Classes.Atom
• Data.Logic.Classes.ClauseNormalForm
• Data.Logic.Harrison.Formulas.FirstOrder
• Data.Logic.Harrison.Formulas.Propositional
• Data.Logic.Instances.Chiou
• Data.Logic.Instances.PropLogic
• Data.Logic.Instances.SatSolver
• Data.Logic.Instances.Test
• Data.Logic.KnowledgeBase
• Data.Logic.Normal.Clause
• Data.Logic.Normal.Implicative
• Data.Logic.Resolution
• Data.Logic.Satisfiable
• Data.Logic.Types.FirstOrder
• Data.Logic.Types.FirstOrderPublic

Dependencies

• HUnit lib:HUnit >=0
• PropLogic lib:PropLogic >=0
• applicative-extras lib:applicative-extras >=0
• atp-haskell lib:atp-haskell >=0
• base lib:base >=4.3 && <5
• containers lib:containers >=0
• mtl lib:mtl >=0
• parsec lib:parsec >=0
• pretty lib:pretty >=1.1.2
• safe lib:safe >=0
• safecopy lib:safecopy >=0
• set-extra lib:set-extra >=0
• syb lib:syb >=0
• template-haskell lib:template-haskell >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• cabal-debian exe:cabal-debian
• logic-classes test:logic-classes-tests