cl-maxsat
Common Lisp API to MAX-SAT Solvers
$ area51 add cl-maxsatCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-maxsat:some-function ...)Common Lisp API to MAX-SAT Solvers
$ area51 add cl-maxsatCopy;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-maxsat:some-function ...)