[Haskell-cafe] smt solver bindings
josef.svenningsson at gmail.com
Thu Dec 15 21:17:55 CET 2011
On Thu, Dec 15, 2011 at 7:04 PM, Dimitrios Vytiniotis <
dimitris at microsoft.com> wrote:
> I've a quick question:
> Are there Haskell wrappers for the Z3 C API around?
> I believe sbv recently got support for Z3 but I don't know if it uses the
C API. Neither have I tried the Z3 backend, I only played with the Yices
backend. If you contact Levent Erkök, the author of sbv, he should be able
to give you more information.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe