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 < dimit...@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 >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe