Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams - View it on GitHub