The hatt package

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

Versions	0.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
Dependencies	ansi-wl-pprint (0.6.), base (4.), cmdargs (≥0.7), containers (≥0.3 & <0.5), haskeline (0.6.*), parsec (≥2.1 & <3.2)
License	BSD3
Copyright	(c) 2012 Benedict Eastaugh
Author	Benedict Eastaugh
Maintainer	benedict@eastaugh.net
Category	Logic
Home page	http://extralogical.net/projects/hatt
Source repository	git clone git://github.com/beastaugh/hatt.git
Executables	hatt
Upload date	Wed Jan 4 00:44:45 UTC 2012
Uploaded by	BenedictEastaugh
Built on	ghc-7.2

Modules

Data
- Logic
  - Data.Logic.Propositional

Downloads

hatt-1.4.0.2.tar.gz (Cabal source package)
package description (included in the package)