Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Why do you think that https://github.com/IagoAbal/haskell-z3 is a good alternative to Hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Why do you think that https://github.com/IagoAbal/haskell-z3 is a good alternative to Hsmtlib