The latest version of PropLogic is 0.9.0.4-0.
PropLogic
Version 0.9.0.2 revision 0 uploaded by DavidFox.
Package meta
- Synopsis
- A system for propositional logic with default and fast instances of propositional algebras.
- Description
- Author
- bucephalus
- Bug reports
- http://www-bucephalus-org.blogspot.com/PropLogic-bugs
- Category
- Logic, Algorithms
- Copyright
- n/a
- Homepage
- http://www.bucephalus.org/PropLogic
- Maintainer
- b@bucephalus.org
- Package URL
- n/a
- Stability
- experimental