cl-maxsat
Common Lisp API to MAX-SAT Solvers
$ area51 add cl-maxsatコピー使い方
;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(cl-maxsat:some-function ...)Common Lisp API to MAX-SAT Solvers
$ area51 add cl-maxsatコピー;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(cl-maxsat:some-function ...)