From c17a22ef8a2cd1c1bb49289af38d0d102e208b5b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 26 Feb 2012 08:51:14 -0800 Subject: Disabled verbose print-out in the SAT solvers. --- src/proof/fra/fraCec.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/proof/fra') diff --git a/src/proof/fra/fraCec.c b/src/proof/fra/fraCec.c index 1ef9091a..ac11b0bb 100644 --- a/src/proof/fra/fraCec.c +++ b/src/proof/fra/fraCec.c @@ -147,7 +147,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi pMan->pData = Sat_Solver2GetModel( pSat, vCiIds->pArray, vCiIds->nSize ); } // free the sat_solver2 -// if ( fVerbose ) + if ( fVerbose ) Sat_Solver2PrintStats( stdout, pSat ); //sat_solver2_store_write( pSat, "trace.cnf" ); //sat_solver2_store_free( pSat ); @@ -253,7 +253,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi pMan->pData = Sat_SolverGetModel( pSat, vCiIds->pArray, vCiIds->nSize ); } // free the sat_solver -// if ( fVerbose ) + if ( fVerbose ) Sat_SolverPrintStats( stdout, pSat ); //sat_solver_store_write( pSat, "trace.cnf" ); //sat_solver_store_free( pSat ); -- cgit v1.2.3