The logic-classes package

[Tags: bsd3, library]

Package to support Propositional and First Order Logic. It includes classes representing the different types of formulas and terms, some instances of those classes for types used in other logic libraries, and implementations of several logic algorithms, including conversion to normal form and a simple resolution-based theorem prover for any instance of FirstOrderFormula.


Versions0.44, 0.45, 0.47, 0.48, 1.1, 1.4, 1.4.1, 1.4.2, 1.4.3, 1.4.4, 1.4.5, 1.4.6, 1.4.7, 1.4.8, 1.5, 1.5.1, 1.5.2, 1.5.3, 1.7
Change logchangelog
Dependenciesapplicative-extras, atp-haskell, base (>=4.3 && <5), containers, HUnit, mtl, parsec, pretty (>=1.1.2), PropLogic, safe, safecopy, set-extra, syb, template-haskell [details]
AuthorDavid Fox <>
MaintainerSeeReason Partners <>
CategoryLogic, Theorem Provers
Home page
Bug tracker
UploadedMon Nov 16 19:06:11 UTC 2015 by DavidFox
Downloads2498 total (83 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-11-16 [all 2 reports]




Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees