diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-27 18:15:05 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-27 18:15:05 +0700 |
commit | fcd3133a9f2817893aa60d1ec2d1b94a1f5a7b5a (patch) | |
tree | c89a2f7ef6a1a2031d5d2b6730b2a0c42d7733cf /src/opt/sbd/sbdLut.c | |
parent | 398c4ec92c4e25fa588a6b3bcbd016df91e57771 (diff) | |
download | abc-fcd3133a9f2817893aa60d1ec2d1b94a1f5a7b5a.tar.gz abc-fcd3133a9f2817893aa60d1ec2d1b94a1f5a7b5a.tar.bz2 abc-fcd3133a9f2817893aa60d1ec2d1b94a1f5a7b5a.zip |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/sbdLut.c')
-rw-r--r-- | src/opt/sbd/sbdLut.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdLut.c b/src/opt/sbd/sbdLut.c index b68ecc26..b924a33b 100644 --- a/src/opt/sbd/sbdLut.c +++ b/src/opt/sbd/sbdLut.c @@ -197,7 +197,7 @@ int Sbd_ProblemSolve( Gia_Man_t * p, Vec_Int_t * vMirrors, sat_solver * pSatCec = Sbd_ManSatSolver( NULL, p, vMirrors, Pivot, vWinObjs, vObj2Var, vTfo, vRoots, 1 ); sat_solver * pSatQbf = sat_solver_new(); - int PivotVar = Vec_IntEntry(vObj2Var, Pivot); + //int PivotVar = Vec_IntEntry(vObj2Var, Pivot); int nVars = Vec_IntSize( vDivSet ); int nPars = Sbd_ProblemCountParams( nStrs, pStr0 ); |