Skip to content

A
abc
Commit 9faaf802 by Alan Mishchenko
Options

Additional improvements in 'satclp'.

parent 69df5462
Showing with 1 additions and 1 deletions
src/sat/bmc/bmcClp.c
...@@ -480,7 +480,7 @@ Vec_Str_t * Bmc_CollapseOne( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCan ...@@ -480,7 +480,7 @@ Vec_Str_t * Bmc_CollapseOne( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCan
Vec_Int_t * vNums = Vec_IntAlloc( nVars ); Vec_Int_t * vNums = Vec_IntAlloc( nVars );
Vec_Int_t * vCube = Vec_IntAlloc( nVars ); Vec_Int_t * vCube = Vec_IntAlloc( nVars );
int n, v, iVar, iLit, iCiVarBeg, iCube, Start, status; int n, v, iVar, iLit, iCiVarBeg, iCube, Start, status;
abctime clk, Time[2][2] = {{0}}; abctime clk = 0, Time[2][2] = {{0}};
int fComplete[2] = {0}; int fComplete[2] = {0};
// collect CI variables // collect CI variables
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment