yices: Haskell programming interface to Yices SMT solver
Incomplete (no bitvectors) syntax, parser, and inter process communication to Yices from Haskell through pipe. Purpose for building and using this library was to generate test cases from constraints that SMT solvers can solve. I only used it for that particular purpose, so the code in general is not yet fully tested. Use at your own risk and error reports are welcomed. See http://yices.csl.sri.com/ for further information on Yices.
[Skip to Readme]
Downloads
- yices-0.0.0.12.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.0.1, 0.0.0.3, 0.0.0.4, 0.0.0.6, 0.0.0.7, 0.0.0.8, 0.0.0.9, 0.0.0.10, 0.0.0.11, 0.0.0.12 |
|---|---|
| Change log | ChangeLog |
| Dependencies | base (>=4 && <5), parsec, process [details] |
| License | BSD-3-Clause |
| Author | Ki Yung Ahn <kya@pdx.edu> |
| Maintainer | Ki Yung Ahn <kya@pdx.edu> |
| Category | Math |
| Uploaded | by KiYungAhn at 2012-02-07T09:52:22Z |
| Distributions | |
| Reverse Dependencies | 4 direct, 11 indirect [details] |
| Downloads | 7152 total (11 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |