The PropLogic package
A system for propositional logic with default and fast instances of propositional algebras.
Properties
| Versions | 0.9, 0.9.0.1, 0.9.0.2, 0.9.0.3, 0.9.0.4 |
|---|---|
| Dependencies | base (<5), old-time, random |
| License | BSD3 |
| Author | bucephalus |
| Maintainer | b@bucephalus.org |
| Stability | experimental |
| Category | Logic, Algorithms |
| Home page | http://www.bucephalus.org/PropLogic |
| Bug tracker | http://www-bucephalus-org.blogspot.com/2010/02/proplogic.html |
| Source repository | darcs get http://src.seereason.com/darcs/PropLogic |
| Executables | program |
| Upload date | Mon Apr 16 22:00:22 UTC 2012 |
| Uploaded by | DavidFox |
| Built on | ghc-7.4 |
Modules
Downloads
- PropLogic-0.9.0.4.tar.gz (Cabal source package)
- package description (included in the package)