GitHub repository: tweag/smtlib-backends
Primary language: Haskell
Description: A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.