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.

Properties

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
Change logchangelog
Dependenciesapplicative-extras, base (>=4.3 && <5), containers, HUnit, mtl, pretty, PropLogic, safecopy, set-extra, syb, template-haskell [details]
LicenseBSD3
AuthorDavid Fox <dsf@seereason.com>
MaintainerSeeReason Partners <partners@seereason.com>
CategoryLogic, Theorem Provers
Home pagehttps://github.com/seereason/logic-classes
Bug trackerhttps://github.com/seereason/logic-classes/issues
UploadedWed Apr 15 15:24:11 UTC 2015 by DavidFox
DistributionsNixOS:1.5.2
Downloads2134 total (127 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2015-04-18 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees