--- a/package.lisp Thu Oct 13 22:34:04 2016 +0000
+++ b/package.lisp Thu Oct 27 14:16:07 2016 +0000
@@ -20,6 +20,15 @@
#:scully.quickutils)
(:export))
+(defpackage #:scully.zdd
+ (:use
+ #:cl
+ #:losh
+ #:iterate
+ #:cl-arrows
+ #:scully.quickutils)
+ (:export))
+
(defpackage #:scully.reasoners.prolog
(:use
#:cl
--- a/scully.asd Thu Oct 13 22:34:04 2016 +0000
+++ b/scully.asd Thu Oct 27 14:16:07 2016 +0000
@@ -26,6 +26,7 @@
(:module "src" :serial t
:components ((:file "gdl")
(:file "rule-trees")
+ (:file "zdd")
(:module "reasoners" :serial t
:components ((:file "prolog")))
(:module "grounders" :serial t
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/zdd.lisp Thu Oct 27 14:16:07 2016 +0000
@@ -0,0 +1,1 @@
+(in-package #:scully.zdd)