/smtlib2

Syntax, IDE and execution of SMT-LIB (v2.5)

Primary LanguageSMT

Stargazers