@hackage yices0.0.0.12

Haskell programming interface to Yices SMT solver

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Ki Yung Ahn <kya@pdx.edu>
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
- 0.0.0.12 Tue, 7 Feb 2012
- 0.0.0.11 Wed, 21 Sep 2011
- 0.0.0.10 Wed, 1 Jun 2011
- 0.0.0.9 Mon, 7 Feb 2011
- 0.0.0.8 Mon, 25 Oct 2010
- 0.0.0.7 Thu, 4 Feb 2010

Installation
In your cabal file:
Dependencies (3)
- base >=4 && <5
- parsec
- process
Dependents (6)
@hackage/afv, @hackage/atom, @hackage/acme-everything, @hackage/fault-tree, @hackage/cao, @hackage/improve

See Main.hs for example usage.