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-10 01:26:23 -07:00
parent 997e4c77ac
commit 1d441b6489
1 changed files with 0 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1573,16 +1573,6 @@ 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
#ifdef USE_FLOAT_ACTIVITY2
for ( i = s->iVarPivot; i < s->size; i++ )
s->activity[i] = 0;
#else
for ( i = s->iVarPivot; i < s->size; i++ )
s->activity[i] = (1<<10);
#endif
// initialize other vars
s->size = s->iVarPivot;