@hackage hatt1.5.0.0

A truth table generator for classical propositional logic.

Categories
License
BSD-3-Clause
Maintainer
benedict@eastaugh.net
Links
Versions
- 1.5.0.3 Sat, 24 Nov 2012
- 1.5.0.2 Tue, 13 Nov 2012
- 1.5.0.0 Sun, 11 Nov 2012
- 1.4.0.2 Wed, 4 Jan 2012
- 1.4.0.1 Mon, 31 Oct 2011
- 1.4.0 Mon, 31 Oct 2011

Installation
In your cabal file:
Dependencies (5)
- base >=4 && <5
- containers >=0.3 && <0.5
- parsec >=2.1 && <3.2
- QuickCheck >=2.4
- ansi-wl-pprint >=0.6 && <0.7
Dependents (1)
@hackage/acme-everything

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.

@hackage hatt1.5.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (5)

Dependents (1)