Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Primary LanguageHaskell
No one’s star this repository yet.