yices: Haskell programming interface to Yices SMT solver

[ bsd3, library, math ] [ Propose Tags ]

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]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,,,,,,
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
Reverse Dependencies 4 direct, 11 indirect [details]
Downloads 6921 total (12 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]

Readme for yices-

[back to package description]
See Main.hs for example usage.