The hatt package

[Tags: bsd3, library, program]

Hatt is a command-line program which prints truth tables for expressions in classical propositional logic, and a library allowing its parser, evaluator and truth table generator to be used in other programs. It includes support for converting logical expressions into several normal forms.


Properties

Versions0.1, 0.2, 0.3, 1.0, 1.1, 1.1.1, 1.2.0, 1.2.1, 1.3.0, 1.3.1, 1.4.0, 1.4.0.1, 1.4.0.2, 1.5.0.0, 1.5.0.2, 1.5.0.3
Dependenciesansi-wl-pprint (==0.6.*), base (==4.*), cmdargs (>=0.7), containers (>=0.3 && <0.6), haskeline (>=0.6), hatt, parsec (>=2.1 && <3.2), QuickCheck (>=2.4)
LicenseBSD3
Copyright(c) 2012 Benedict Eastaugh
AuthorBenedict Eastaugh
Maintainerbenedict@eastaugh.net
CategoryLogic
Home pagehttp://extralogical.net/projects/hatt
Source repositoryhead: git clone git://github.com/beastaugh/hatt.git
Executableshatt
UploadedTue Nov 13 18:29:40 UTC 2012 by BenedictEastaugh
Downloads1326 total (108 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees