IagoAbal/haskell-z3

Set up CI to check that the bindings work against new Z3 releases

IagoAbal opened this issue · 0 comments

IagoAbal commented
Set up CI to check that the bindings work against new Z3 releases