# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1477577767 0
# Node ID 80c4579fefce3b67de21dbe789d342c8e7814730
# Parent  b21cde7784a1522c8912d2804b69b8ad721c5ca4
Add ZDD package

diff -r b21cde7784a1 -r 80c4579fefce package.lisp
--- 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
diff -r b21cde7784a1 -r 80c4579fefce scully.asd
--- 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
diff -r b21cde7784a1 -r 80c4579fefce src/zdd.lisp
--- /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)