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.


Properties

Versions0.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
Dependenciesbase (==4.*), parsec, process
LicenseBSD3
AuthorKi Yung Ahn <kya@pdx.edu>
MaintainerKi Yung Ahn <kya@pdx.edu>
CategoryMath
UploadedTue Feb 7 09:52:22 UTC 2012 by KiYungAhn
Downloads941 total (50 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees