Haskell bindings to Microsoft's Z3 API (unofficial).
Why do you think that https://github.com/haskell-works/hw-bits is a good alternative to hz3
Haskell bindings to Microsoft's Z3 API (unofficial).
Why do you think that https://github.com/haskell-works/hw-bits is a good alternative to hz3