[Haskell-cafe] smt solver bindings

Daniel Peebles pumpkingod at gmail.com
Thu Dec 15 21:05:55 CET 2011


Not that I know of, but I would like them too. There are a few bindings to
yices, but I don't think yices has the feature I want in it.

On Thu, Dec 15, 2011 at 1:04 PM, Dimitrios Vytiniotis <
dimitris at microsoft.com> wrote:

>
> I've a quick question:
>
> Are there Haskell wrappers for the Z3 C API around?
>
> Thanks!
> d-
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111215/bfa7b44e/attachment.htm>


More information about the Haskell-Cafe mailing list