GitHub repository: regb/scala-smtlib
Primary language: SMT
Description: Scala library for parsing and printing the SMT-LIB format