Please add cl-smt-lib

[eschulte]

CL-SMT-LIB is a minimal package providing an SMT object encapsulating any SMT solver process supporting SMT-LIB with input and output streams. CL-SMT-LIB provides a reader macro to support reading case sensitive SMT-LIB forms into lisp and writing these forms to an SMT solver process.

The repository for CL-SMT-LIB is https://github.com/GrammaTech/cl-smt-lib

Thanks!