trivialib.bdd
BDD and ZDD implementation using Trivia
$ area51 add trivialib.bddCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(trivialib.bdd:some-function ...)BDD and ZDD implementation using Trivia
$ area51 add trivialib.bddCopy;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(trivialib.bdd:some-function ...)