On Thu, Dec 15, 2011 at 7:04 PM, Dimitrios Vytiniotis < dimit...@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. https://github.com/LeventErkok/sbv Thanks, Josef
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe