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