@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
- Homepage
- Documentation
- No source repository
- Changelog
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

See Main.hs for example usage.

Installation
In your cabal file:
Dependencies (0)
Dependents (0)