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. It includes support for converting logical expressions into several normal forms.

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 & <0.6), haskeline (≥0.6), parsec (≥2.1 & <3.2), QuickCheck (≥2.4)
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	Sat Nov 24 23:42:21 UTC 2012
Uploaded by	BenedictEastaugh
Built on	ghc-7.6

Modules

Data
- Logic
  - Data.Logic.Propositional
    - Data.Logic.Propositional.NormalForms
    - Data.Logic.Propositional.Tables

Downloads

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