@hackage picologic0.3.0

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 (0)
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.