Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.