Not that I know of, but I would like them too. There are a few bindings to yices, but I don&#39;t think yices has the feature I want in it.<div><br><div class="gmail_quote">On Thu, Dec 15, 2011 at 1:04 PM, Dimitrios Vytiniotis <span dir="ltr">&lt;<a href="mailto:dimitris@microsoft.com">dimitris@microsoft.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
I&#39;ve a quick question:<br>
<br>
Are there Haskell wrappers for the Z3 C API around?<br>
<br>
Thanks!<br>
d-<br>
<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div>