diff options
| -rw-r--r-- | src/sat/bmc/bmcGen.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcGen.c b/src/sat/bmc/bmcGen.c index 60cdd2be..74af1b78 100644 --- a/src/sat/bmc/bmcGen.c +++ b/src/sat/bmc/bmcGen.c @@ -165,7 +165,7 @@ int Gia_ManTestSatEnum( Gia_Man_t * p ) Vec_IntPush( vVars, pCnf->pVarNums[v] ); } //sat_solver_act_var_clear( pSat ); - sat_solver_set_polarity( pSat, Vec_IntArray(vVars), Vec_IntSize(vVars) ); + //sat_solver_set_polarity( pSat, Vec_IntArray(vVars), Vec_IntSize(vVars) ); clk2 = Abc_Clock(); status = sat_solver_solve( pSat, NULL, NULL, 0, 0, 0, 0 ); |