satmore: don't try to override user defined variables
This commit is contained in:
parent
9f18b0f388
commit
d68417bc01
|
@ -11,11 +11,13 @@ satmore(SATSolve *s)
|
||||||
if(s == nil) return 1;
|
if(s == nil) return 1;
|
||||||
s->scrap = a = satrealloc(s, nil, s->nvar * sizeof(int));
|
s->scrap = a = satrealloc(s, nil, s->nvar * sizeof(int));
|
||||||
n = 0;
|
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){
|
switch(s->lit[2*i].val){
|
||||||
case 0: a[n++] = i+1; break;
|
case 0: a[n++] = i+1; break;
|
||||||
case 1: a[n++] = -(i+1); break;
|
case 1: a[n++] = -(i+1); break;
|
||||||
}
|
}
|
||||||
|
}
|
||||||
if(n > 0)
|
if(n > 0)
|
||||||
satadd1(s, a, n);
|
satadd1(s, a, n);
|
||||||
free(a);
|
free(a);
|
||||||
|
|
Loading…
Reference in a new issue