From fa111ff81b56b82d1e9248f3c15d735d563e8c08 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 15 May 2016 16:43:10 -0700 Subject: Experiments with generating sat assignments. --- src/sat/bmc/bmcGen.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/sat/bmc') 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 ); -- cgit v1.2.3