Extend exported interface to what we need in common use cases
authorUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 28 May 2010 15:49:53 +0000 (28 17:49 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 28 May 2010 15:49:53 +0000 (28 17:49 +0200)
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
package.lisp

index dd9b349..67ab6cf 100644 (file)
@@ -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