IagoAbal / haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).
58Updated last year

Alternatives and similar repositories for haskell-z3:

Users that are interested in haskell-z3 are comparing it to the libraries listed below