cl-logic
Boolean algebra package
$ area51 add cl-logicCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-logic:some-function ...)Boolean algebra package
$ area51 add cl-logicCopy;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-logic:some-function ...)