cl-smt-lib
SMT object supporting SMT-LIB communication over input and output streams
$ area51 add cl-smt-libコピー使い方
;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(cl-smt-lib:some-function ...)SMT object supporting SMT-LIB communication over input and output streams
$ area51 add cl-smt-libコピー;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(cl-smt-lib:some-function ...)