From 8b0ab3d30c2a4a24081f4aeb8851da31d7f2c0eb Mon Sep 17 00:00:00 2001
From: Utz-Uwe Haus <lisp@uuhaus.de>
Date: Thu, 10 Jun 2010 13:42:39 +0200
Subject: [PATCH] add-clauses convenience function

---
 satwrap.lisp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/satwrap.lisp b/satwrap.lisp
index 4abd5de..6824cd2 100644
--- a/satwrap.lisp
+++ b/satwrap.lisp
@@ -149,6 +149,12 @@ specify which backend should be used. It defaults to *default-sat-backend*."
   (:method ((solver sat-solver) (clause vector))
     (add-clause solver (coerce clause 'list))))
 
+(defgeneric add-clauses (solver clauses)
+  (:documentation "Add CLAUSES to SOLVER's cnf formula. Clauses are consumed.")
+  (:method ((solver sat-solver) (clauses list))
+    (dolist (c clauses)
+      (add-clause solver c))))
+
 (defgeneric satisfiablep (solver &key assume)
   (:documentation "Check whether current CNF in SOLVER is satisfiable. 
 Keyword argument :ASSUME can provide a sequence of literals assumed TRUE or FALSE.
-- 
2.11.4.GIT