[Haskell-cafe] smt solver bindings

[Dimitrios Vytiniotis]

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