lib:atp-haskell

Modules

• Data.Logic.ATP
• Data.Logic.ATP.Apply
• Data.Logic.ATP.DP
• Data.Logic.ATP.DefCNF
• Data.Logic.ATP.Equal
• Data.Logic.ATP.Equate
• Data.Logic.ATP.FOL
• Data.Logic.ATP.Formulas
• Data.Logic.ATP.Herbrand
• Data.Logic.ATP.Lib
• Data.Logic.ATP.Lit
• Data.Logic.ATP.LitWrapper
• Data.Logic.ATP.Meson
• Data.Logic.ATP.Parser
• Data.Logic.ATP.ParserTests
• Data.Logic.ATP.Pretty
• Data.Logic.ATP.Prolog
• Data.Logic.ATP.Prop
• Data.Logic.ATP.PropExamples
• Data.Logic.ATP.Quantified
• Data.Logic.ATP.Resolution
• Data.Logic.ATP.Skolem
• Data.Logic.ATP.Tableaux
• Data.Logic.ATP.Term
• Data.Logic.ATP.Unif

Dependencies

• HUnit lib:HUnit >=0
• applicative-extras lib:applicative-extras >=0
• base lib:base >=4.8 && <4.13
• containers lib:containers >=0
• mtl lib:mtl >=0
• parsec lib:parsec >=0
• pretty lib:pretty >=1.1.2
• template-haskell lib:template-haskell >=0
• time lib:time >=0

Reverse dependencies

Direct only. Not exhaustive.

• atp-haskell test:atp-haskell-tests
• logic-classes lib:logic-classes
• logic-classes test:logic-classes-tests
• th-context test:th-context-tests