80c4579fefce
Add ZDD package
| 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