The latest version of hatt is 1.5.0.3-0.
hatt
Version 1.3.1 revision 0 uploaded by BenedictEastaugh.
Package meta
- Synopsis
- A truth table generator for classical propositional logic.
- Description
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.
- Author
- Benedict Eastaugh
- Bug reports
- n/a
- Category
- Logic
- Copyright
- (c) 2011 Benedict Eastaugh
- Homepage
- http://extralogical.net/projects/hatt
- Maintainer
- benedict@eastaugh.net
- Package URL
- n/a
- Stability
- n/a