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 < [email protected]> wrote: > > I've a quick question: > > Are there Haskell wrappers for the Z3 C API around? > > Thanks! > d- > > > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
