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

Bug fix.

This commit is contained in:
Alan Mishchenko 2023-10-23 11:04:35 -07:00
parent 76e8d21aaf
commit 1bf21626c0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/glucose/Glucose.cpp
View File

@ -1124,7 +1124,7 @@ lbool Solver::search(int nof_conflicts)
return l_False;
}
// Perform clause database reduction !
if(conflicts>=curRestart* nbclausesbeforereduce)
if(conflicts>=curRestart* nbclausesbeforereduce && learnts.size()>0)
{
assert(learnts.size()>0);