From: Utz-Uwe Haus <lisp@uuhaus.de>
Date: Fri, 28 May 2010 15:49:53 +0000 (+0200)
Subject: Extend exported interface to what we need in common use cases
X-Git-Url: https://repo.or.cz/w/cl-cudd.git/commitdiff_plain/7abe158ad98e45be8e75c14e7c4d39a2ba44e1d5

Extend exported interface to what we need in common use cases

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
---

diff --git a/package.lisp b/package.lisp
index dd9b349..67ab6cf 100644
--- a/package.lisp
+++ b/package.lisp
@@ -58,4 +58,6 @@
   (:export #:bdd-tautologyp #:bdd-satisfiablep)
   (:export #:bdd-var-min #:bdd-var-max)
   (:export #:bdd-var-fixed0 #:bdd-var-fixed0)
-  (:export #:deserialize-bdd))
\ No newline at end of file
+  (:export #:deserialize-bdd)
+  (:export #:satcheck)
+  (:export #:with-index-hash))
\ No newline at end of file