@hackage bindings-yices0.1

Bindings to the Yices theorem prover

Categories
- FFI
License
LicenseRef-PublicDomain
Maintainer
pepeiborra@gmail.com
Links
- Homepage
- Documentation
- No source repository
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 (0)
Dependents (0)