The latest version of logic-classes is 1.7.1-0.
lib:logic-classes
Modules
- Data.Boolean
- Data.Boolean.SatSolver
- Data.Logic.Classes.Apply
- Data.Logic.Classes.Arity
- Data.Logic.Classes.Atom
- Data.Logic.Classes.ClauseNormalForm
- Data.Logic.Classes.Combine
- Data.Logic.Classes.Constants
- Data.Logic.Classes.Equals
- Data.Logic.Classes.FirstOrder
- Data.Logic.Classes.Formula
- Data.Logic.Classes.Literal
- Data.Logic.Classes.Negate
- Data.Logic.Classes.Pretty
- Data.Logic.Classes.Propositional
- Data.Logic.Classes.Skolem
- Data.Logic.Classes.Term
- Data.Logic.Classes.Variable
- Data.Logic.Failing
- Data.Logic.Harrison.DP
- Data.Logic.Harrison.DefCNF
- Data.Logic.Harrison.Equal
- Data.Logic.Harrison.FOL
- Data.Logic.Harrison.Formulas.FirstOrder
- Data.Logic.Harrison.Formulas.Propositional
- Data.Logic.Harrison.Herbrand
- Data.Logic.Harrison.Lib
- Data.Logic.Harrison.Meson
- Data.Logic.Harrison.Normal
- Data.Logic.Harrison.Prolog
- Data.Logic.Harrison.Prop
- Data.Logic.Harrison.PropExamples
- Data.Logic.Harrison.Resolution
- Data.Logic.Harrison.Skolem
- Data.Logic.Harrison.Tableaux
- Data.Logic.Harrison.Unif
- 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.Resolution
- Data.Logic.Satisfiable
- Data.Logic.Tests.HUnit
- Data.Logic.Types.Common
- Data.Logic.Types.FirstOrder
- Data.Logic.Types.FirstOrderPublic
- Data.Logic.Types.Harrison.Equal
- Data.Logic.Types.Harrison.FOL
- Data.Logic.Types.Harrison.Formulas.FirstOrder
- Data.Logic.Types.Harrison.Formulas.Propositional
- Data.Logic.Types.Harrison.Prop
- Data.Logic.Types.Propositional
Dependencies
- HUnit lib:HUnit >=0
- PropLogic lib:PropLogic >=0.9.0.3
- applicative-extras lib:applicative-extras >=0
- base lib:base >=4.3 && <5
- containers lib:containers >=0
- fgl lib:fgl >=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
- template-haskell lib:template-haskell >=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