GitHub repository: yav/smtLib
Primary language: Haskell
Description: Haskell datatypes for generating SMTLIB files.