src/sat/bsat · f67c0c173d1cfd9b9f732471950124128fa7b317 · lvzhengyang / abc

Changes to the main SAT solver: fixing performance bug (resetting decay params… · f67c0c17

Changes to the main SAT solver: fixing performance bug (resetting decay params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).

committed Dec 09, 2011

f67c0c17

Name	Last commit	Last update
..
license		Loading commit data...
module.make		Loading commit data...
satChecker.c		Loading commit data...
satInter.c		Loading commit data...
satInterA.c		Loading commit data...
satInterA_mod.c		Loading commit data...
satInterA_old.c		Loading commit data...
satInterA_yu_hu.c		Loading commit data...
satInterB.c		Loading commit data...
satInterB_.c		Loading commit data...
satInterB_new.c		Loading commit data...
satInterB_old.c		Loading commit data...
satInterP.c		Loading commit data...
satMem.c		Loading commit data...
satMem.h		Loading commit data...
satProof.c		Loading commit data...
satSolver.c		Loading commit data...
satSolver.h		Loading commit data...
satSolver2.c		Loading commit data...
satSolver2.h		Loading commit data...
satStore.c		Loading commit data...
satStore.h		Loading commit data...
satTrace.c		Loading commit data...
satUtil.c		Loading commit data...
satVec.h		Loading commit data...