Haskell bindings to Microsoft's Z3 API (unofficial).
Why do you think that https://github.com/nikita-volkov/bit-array is a good alternative to hz3
Haskell bindings to Microsoft's Z3 API (unofficial).
Why do you think that https://github.com/nikita-volkov/bit-array is a good alternative to hz3