luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Performance bug fix in the SAT solver (clearing variable activity after rollback).

This commit is contained in:
Alan Mishchenko 2012-07-09 23:09:59 -07:00
parent 908d5e696c
commit 6ba6c3279a
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/sat/bsat/satSolver2.c
View File

@ -1573,6 +1573,9 @@ void sat_solver2_rollback( sat_solver2* s )
// reset watcher lists
for ( i = 2*s->iVarPivot; i < 2*s->size; i++ )
s->wlists[i].size = 0;
// clear variable activity
for ( i = s->iVarPivot; i < s->size; i++ )
s->activity[i] = (1<<10);
// initialize other vars
s->size = s->iVarPivot;