# hatt: A truth table generator for classical propositional logic.

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.

[Skip to Readme]

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 | base (==4.2.*), cmdargs (==0.6.*), containers (==0.3.*), parsec (==2.1.*) [details] |

License | BSD-3-Clause |

Copyright | (c) 2011 Benedict Eastaugh |

Author | Benedict Eastaugh |

Maintainer | benedict@eastaugh.net |

Category | Logic |

Home page | https://github.com/beastaugh/hatt |

Source repo | head: git clone git://github.com/beastaugh/hatt.git |

Uploaded | by BenedictEastaugh at Sun Jan 30 18:13:46 UTC 2011 |

Distributions | NixOS:1.5.0.3 |

Executables | hatt |

Downloads | 5630 total (50 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs not available [build log] All reported builds failed as of 2016-12-28 [all 6 reports] Hackage Matrix CI |

## Modules

*Data**Logic*- Data.Logic.Propositional
- Data.Logic.Propositional.Core
- Data.Logic.Propositional.Parser
- Data.Logic.Propositional.Tables

- Data.Logic.Propositional

## Downloads

- hatt-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)