cl-smt-lib

BSD-3-Clause

SMT object supporting SMT-LIB communication over input and output streams

$ area51 add cl-smt-libCopy

Usage

;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-smt-lib:some-function ...)