From 39dd26bf0807046b8c9824745751248db3bf2de0 Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Thu, 22 Mar 2018 13:35:52 +0000
Subject: sat: satget: don't duplicate binary clauses

---
 sys/src/libsat/satget.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/src/libsat/satget.c b/sys/src/libsat/satget.c
index 72d2789bd..ae5f5ccec 100644
--- a/sys/src/libsat/satget.c
+++ b/sys/src/libsat/satget.c
@@ -18,7 +18,7 @@ satget(SATSolve *s, int i, int *t, int n)
 		}
 	for(l = s->lit; l < s->lit + 2 * s->nvar; l++)
 		for(k = 0; k < l->nbimp; k++)
-			if(i-- == 0){
+			if(l - s->lit < l->bimp[k] && i-- == 0){
 				if(n > 0) t[0] = -signf(l - s->lit);
 				if(n > 1) t[1] = signf(l->bimp[k]);
 				return 2;
-- 
cgit v1.2.3