The latest version of logic-classes is 1.7.1-0.
lib:logic-classes
Modules
- Data.Logic
- Data.Logic.Classes.Arity
- Data.Logic.Classes.Boolean
- Data.Logic.Classes.ClauseNormalForm
- Data.Logic.Classes.FirstOrder
- Data.Logic.Classes.Literal
- Data.Logic.Classes.Logic
- Data.Logic.Classes.Negatable
- Data.Logic.Classes.Pred
- Data.Logic.Classes.Propositional
- Data.Logic.Classes.Skolem
- Data.Logic.Classes.Term
- Data.Logic.Classes.Variable
- Data.Logic.Instances.Chiou
- Data.Logic.Instances.PropLogic
- Data.Logic.Instances.SatSolver
- Data.Logic.KnowledgeBase
- Data.Logic.Normal.Clause
- Data.Logic.Normal.Implicative
- Data.Logic.Normal.Negation
- Data.Logic.Normal.Prenex
- Data.Logic.Normal.Skolem
- Data.Logic.Resolution
- Data.Logic.Satisfiable
- Data.Logic.Types.FirstOrder
- Data.Logic.Types.FirstOrderPublic
- Data.Logic.Types.Propositional
Dependencies
- PropLogic lib:PropLogic >=0
- base lib:base >=4.3 && <5
- containers lib:containers >=0
- fgl lib:fgl >=0
- happstack-data lib:happstack-data >=0
- incremental-sat-solver lib:incremental-sat-solver >=0
- mtl lib:mtl >=0
- pretty lib:pretty >=0
- safecopy lib:safecopy >=0
- set-extra lib:set-extra >=0
- syb lib:syb >=0
- syb-with-class lib:syb-with-class >=0
- text lib:text >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- cabal-debian exe:cabal-debian
- logic-classes test:logic-classes-tests