The yices package

[Tags:bsd3, library]

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]

Properties

Versions 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
Dependencies base (>=2 && <6), haskell98, parsec, process [details]
License BSD3
Author Ki Yung Ahn <kya@pdx.edu>
Maintainer Ki Yung Ahn <kya@pdx.edu>
Stability Unknown
Category Math
Uploaded Fri Jul 24 00:24:17 UTC 2009 by KiYungAhn
Distributions
Downloads 1969 total (29 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for yices

Readme for yices-0.0.0.1

See Main.hs for example usage.