15 Dec
2011
15 Dec
'11
3:05 p.m.
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@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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe