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
Change logNone available
Dependenciesbase (==4.2.*), cmdargs (==0.6.*), containers (==0.3.*), parsec (==2.1.*)
LicenseBSD3
Copyright(c) 2011 Benedict Eastaugh
AuthorBenedict Eastaugh
Maintainerbenedict@eastaugh.net
Stabilityexperimental
CategoryLogic
Home pagehttps://github.com/beastaugh/hatt
Source repositoryhead: git clone git://github.com/beastaugh/hatt.git
Executableshatt
UploadedSun Jan 30 18:13:46 UTC 2011 by BenedictEastaugh
DistributionsNixOS:1.5.0.3
Downloads2080 total (159 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-30 [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees