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