ZDD ops `keep-supersets-of` and `remove-supersets-of`
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Tue, 01 Nov 2016 13:38:08 +0000 |
| parents |
0306f46e89fb |
| children |
8e281422161d |
(asdf:defsystem :scully
:name "scully"
:description "A General Game Player for incomplete-information games"
:author "Steve Losh <steve@stevelosh.com>"
:license "MIT/X11"
:version "1.0.0"
:depends-on (:iterate
:losh
:temperance
:hunchentoot
:optima
:smug
:cl-dot
:cl-algebraic-data-type
:cl-arrows
:cl-ggp
:trivialib.bdd)
:serial t
:components ((:module "vendor" :serial t
:components ((:file "quickutils-package")
(:file "quickutils")))
(:file "package")
(:module "src" :serial t
:components ((:file "gdl")
(:file "rule-trees")
(:file "zdd")
(:module "reasoners" :serial t
:components ((:file "prolog")))
(:module "grounders" :serial t
:components ((:file "prolog")
(:file "fluxplayer")))
(:module "players" :serial t
:components ((:file "random")
(:file "random-ii")))))))