Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Why do you think that https://github.com/LeventErkok/sbv 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/LeventErkok/sbv is a good alternative to Hsmtlib