[Haskell-cafe] smt solver bindings
Dimitrios Vytiniotis
dimitris at microsoft.com
Thu Dec 15 19:04:53 CET 2011
Previous message:
[Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)
Next message:
[Haskell-cafe] smt solver bindings
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
I've a quick question: Are there Haskell wrappers for the Z3 C API around? Thanks! d-
Previous message:
[Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)
Next message:
[Haskell-cafe] smt solver bindings
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Haskell-Cafe mailing list