The PropLogic package
Properties
| Versions | 0.9, 0.9.0.1, 0.9.0.2, 0.9.0.3, 0.9.0.4 |
|---|---|
| Dependencies | base (<5), haskell98 |
| 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/PropLogic-bugs |
| Executables | program |
| Upload date | Tue Oct 11 20:38:05 UTC 2011 |
| Uploaded by | DavidFox |
| Build failure | ghc-7.2 (log) |
Modules
- DefaultPropLogic
- FastPropLogic
- Main
- Olist
- PropLogic
- PropLogicCore
- PropLogicTest
Downloads
- PropLogic-0.9.tar.gz (Cabal source package)
- package description (included in the package)