From d68417bc01ef1258e707d95d4785c189fcad5834 Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Sun, 18 Mar 2018 03:01:21 +0000
Subject: [PATCH] satmore: don't try to override user defined variables

---
 sys/src/libsat/satmore.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/sys/src/libsat/satmore.c b/sys/src/libsat/satmore.c
index 7a316f1ab..ac8b0fa09 100644
--- a/sys/src/libsat/satmore.c
+++ b/sys/src/libsat/satmore.c
@@ -11,11 +11,13 @@ satmore(SATSolve *s)
 	if(s == nil) return 1;
 	s->scrap = a = satrealloc(s, nil, s->nvar * sizeof(int));
 	n = 0;
-	for(i = 0; i < s->nvar; i++)
+	for(i = 0; i < s->nvar; i++){
+		if((s->var[i].flags & VARUSER) != 0) continue;
 		switch(s->lit[2*i].val){
 		case 0: a[n++] = i+1; break;
 		case 1: a[n++] = -(i+1); break;
 		}
+	}
 	if(n > 0)
 		satadd1(s, a, n);
 	free(a);