@hackage bindings-yices0.3

Bindings to the Yices theorem prover

Categories
- FFI
License
LicenseRef-PublicDomain
Maintainer
pepeiborra@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.3.0.2 Sat, 22 Aug 2015
- 0.3.0.1 Sat, 22 Aug 2015
- 0.3 Sat, 22 Aug 2015
- 0.2 Wed, 2 Jun 2010
- 0.1 Fri, 25 Dec 2009

Installation
In your cabal file:
Dependencies (1)
- base >3 && <5
Dependents (2)
@hackage/acme-everything, @hackage/yices-easy

Package Flags

yices-dynamic

(on by default)