diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-30 20:58:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-30 20:58:53 -0800 |
| commit | 2ff522df455bf4835981d2348bb4c2cc3565073e (patch) | |
| tree | a9272517adb7c2fdc5f46bcb888c001d1fd87043 /src | |
| parent | 3b5527b620c943d84ee4ba38d969c114c042ae89 (diff) | |
| download | abc-2ff522df455bf4835981d2348bb4c2cc3565073e.tar.gz abc-2ff522df455bf4835981d2348bb4c2cc3565073e.tar.bz2 abc-2ff522df455bf4835981d2348bb4c2cc3565073e.zip | |
New SAT-based optimization package.
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index cf46651e..b391eefa 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -733,7 +733,7 @@ int Sbd_ManExplore( Sbd_Man_t * p, int Pivot, word * pTruth ) extern word Sbd_ManSolve( sat_solver * pSat, int PivotVar, int FreeVar, Vec_Int_t * vDivVars, Vec_Int_t * vValues, Vec_Int_t * vTemp ); word MatrS[64] = {0}, MatrC[2][64] = {{0}}, Cubes[2][2][64] = {{{0}}}, Cover[64] = {0}, Cube, Cube0, Cube1, Target; - int c0, c1, c2, c3, i, k, n, Index, nCubes[2] = {0}, nRows = 0, fFound = 0; + int c0 = 0, c1 = 0, c2 = 0, c3 = 0, i, k, n, Index, nCubes[2] = {0}, nRows = 0; int PivotVar = Vec_IntEntry(p->vObj2Var, Pivot); int FreeVar = Vec_IntSize(p->vWinObjs) + Vec_IntSize(p->vTfo) + Vec_IntSize(p->vRoots); |