80c4579fefce

Add ZDD package
[view raw] [browse files]
author Steve Losh <steve@stevelosh.com>
date Thu, 27 Oct 2016 14:16:07 +0000
parents b21cde7784a1
children 67daea4e67cb
branches/tags (none)
files package.lisp scully.asd src/zdd.lisp

Changes

--- 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)