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.


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.*), parsec (==2.1.*)
LicenseBSD3
Copyright(c) 2011 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
Upload dateFri Jun 10 09:07:05 UTC 2011
Uploaded byBenedictEastaugh
Downloads1135 total (95 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees