diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-15 16:43:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-15 16:43:10 -0700 |
| commit | fa111ff81b56b82d1e9248f3c15d735d563e8c08 (patch) | |
| tree | 1cb8bec7da516c3bb7153bad68233741683dd84b /src/sat/bmc/bmcGen.c | |
| parent | 8a567214947eec9bb8ca50befb2293e16df9f87d (diff) | |
| download | abc-fa111ff81b56b82d1e9248f3c15d735d563e8c08.tar.gz abc-fa111ff81b56b82d1e9248f3c15d735d563e8c08.tar.bz2 abc-fa111ff81b56b82d1e9248f3c15d735d563e8c08.zip | |
Experiments with generating sat assignments.
Diffstat (limited to 'src/sat/bmc/bmcGen.c')
| -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 ); |