Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for logic-classes-1.7.1 source tarball
logic-classes-1.7.1/
COPYING
Setup.hs
changelog
logic-classes.cabal
Data/
Boolean.hs
Logic.hs
Boolean/
SatSolver.hs
Logic/
KnowledgeBase.hs
Resolution.hs
Satisfiable.hs
Classes/
Atom.hs
ClauseNormalForm.hs
Harrison/
Formulas/
FirstOrder.hs
Propositional.hs
Instances/
Chiou.hs
PropLogic.hs
SatSolver.hs
Test.hs
Normal/
Clause.hs
Implicative.hs
Types/
FirstOrder.hs
FirstOrderPublic.hs
Tests/
Chiou0.hs
Common.hs
Data.hs
Logic.hs
Main.hs
TPTP.hs
Harrison/
Common.hs
Equal.hs
FOL.hs
Main.hs
Meson.hs
Prop.hs
Resolution.hs
Skolem.hs
Unif.hs