src/sat/bsat · 4aa33e7d0f8853443a2d33aa264ad27e60aa5ee8 · lvzhengyang / abc · GitLab

History Find file

Reversed to a buggy version of reduceDB in complete proof-logging, because it… · e3d75484
```
Reversed to a buggy version of reduceDB in complete proof-logging, because it works with rollback and it is not used in &gla -pn -L 0.
```
Alan Mishchenko committed Sep 12, 2012
e3d75484

Name	Last commit	Last update
..
license		Loading commit data...
module.make		Loading commit data...
satChecker.c		Loading commit data...
satClause.h		Loading commit data...
satInter.c		Loading commit data...
satInterA.c		Loading commit data...
satInterB.c		Loading commit data...
satInterP.c		Loading commit data...
satMem.c		Loading commit data...
satMem.h		Loading commit data...
satProof.c		Loading commit data...
satProof2.h		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...
satTruth.c		Loading commit data...
satTruth.h		Loading commit data...
satUtil.c		Loading commit data...
satVec.h		Loading commit data...