Haskell bindings to Microsoft's Z3 API (unofficial).
Why do you think that https://github.com/brendanhay/amazonka is a good alternative to hz3
Haskell bindings to Microsoft's Z3 API (unofficial).
Why do you think that https://github.com/brendanhay/amazonka is a good alternative to hz3