15 Dec
2011
15 Dec
'11
1:04 p.m.
I've a quick question: Are there Haskell wrappers for the Z3 C API around? Thanks! d-