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