@hackage picologic0.1

Utilities for symbolic predicate logic expressions

Categories
License
MIT
Maintainer
stephen.m.diehl@gmail.com
Links
Versions
- 0.3.0 Wed, 4 Jan 2017
- 0.2.0 Tue, 5 Apr 2016
- 0.1.2 Tue, 13 Oct 2015
- 0.1.1 Fri, 31 Oct 2014
- 0.1 Thu, 12 Jun 2014

Installation
In your cabal file:
Dependencies (6)
- base >=4.6 && <4.7
- containers >=0.5 && <0.6
- mtl >=2.1 && <2.2
- parsec >=3.1 && <3.2
- picosat >=0.1 && <0.2
- pretty >=1.1 && <1.2
Dependents (1)
@hackage/acme-everything

Package Flags

shell

(off by default)

Build the interactive shell

picologic provides symbolic logic expressions that can be integrated with the picosat solver.