trivialib.bdd
BDD and ZDD implementation using Trivia
$ area51 add trivialib.bddコピー使い方
;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(trivialib.bdd:some-function ...)BDD and ZDD implementation using Trivia
$ area51 add trivialib.bddコピー;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(trivialib.bdd:some-function ...)