Skip to content

A
abc
Commit c17a22ef by Alan Mishchenko
Options

Disabled verbose print-out in the SAT solvers.

parent b06908d1
Showing with 2 additions and 2 deletions
src/proof/fra/fraCec.c
...@@ -147,7 +147,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi ...@@ -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 ); pMan->pData = Sat_Solver2GetModel( pSat, vCiIds->pArray, vCiIds->nSize );
} }
// free the sat_solver2 // free the sat_solver2
// if ( fVerbose ) if ( fVerbose )
Sat_Solver2PrintStats( stdout, pSat ); Sat_Solver2PrintStats( stdout, pSat );
//sat_solver2_store_write( pSat, "trace.cnf" ); //sat_solver2_store_write( pSat, "trace.cnf" );
//sat_solver2_store_free( pSat ); //sat_solver2_store_free( pSat );
...@@ -253,7 +253,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi ...@@ -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 ); pMan->pData = Sat_SolverGetModel( pSat, vCiIds->pArray, vCiIds->nSize );
} }
// free the sat_solver // free the sat_solver
// if ( fVerbose ) if ( fVerbose )
Sat_SolverPrintStats( stdout, pSat ); Sat_SolverPrintStats( stdout, pSat );
//sat_solver_store_write( pSat, "trace.cnf" ); //sat_solver_store_write( pSat, "trace.cnf" );
//sat_solver_store_free( pSat ); //sat_solver_store_free( pSat );
......
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