GitHub repository: GrammaTech/cl-smt-lib
Primary language: Common Lisp
Description: Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams