@hackage PropLogic0.9

A system for propositional logic with default and fast instances of propositional algebras.

Categories
- Algorithms
License
BSD-3-Clause
Maintainer
b@bucephalus.org
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.9.0.4 Mon, 16 Apr 2012
- 0.9.0.3 Mon, 16 Apr 2012
- 0.9.0.2 Wed, 12 Oct 2011
- 0.9.0.1 Wed, 12 Oct 2011
- 0.9 Tue, 11 Oct 2011

Installation
In your cabal file:
Dependencies (2)
- base <5
- haskell98
Dependents (2)
@hackage/acme-everything, @hackage/logic-classes