nuddyco / cl-smt-lib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from grammatech/cl-smt-lib
Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
License: BSD 3-Clause "New" or "Revised" License