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, 1.5.0.0, 1.5.0.2, 1.5.0.3
Dependencies	ansi-wl-pprint (0.6.), base (4.), cmdargs (≥0.7), containers (0.3.), parsec (2.1.)
License	BSD3
Copyright	(c) 2011 Benedict Eastaugh
Author	Benedict Eastaugh
Maintainer	benedict@eastaugh.net
Stability	experimental
Category	Logic
Home page	https://github.com/beastaugh/hatt
Source repository	git clone git://github.com/beastaugh/hatt.git
Executables	hatt
Upload date	Sat May 28 23:53:17 UTC 2011
Uploaded by	BenedictEastaugh
Built on	ghc-7.0

Modules

Data
- Logic
  - Data.Logic.Propositional

Downloads

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