Skip to content

A
abc
Commit b2f1d21d by Alan Mishchenko
Options

Removing print-out message.

parent a92c41f7
Showing with 1 additions and 1 deletions
src/sat/bsat/satSolver.c
...@@ -1499,7 +1499,7 @@ int sat_solver_solve(sat_solver* s, lit* begin, lit* end, ABC_INT64_T nConfLimit ...@@ -1499,7 +1499,7 @@ int sat_solver_solve(sat_solver* s, lit* begin, lit* end, ABC_INT64_T nConfLimit
lbool status = l_Undef; lbool status = l_Undef;
lit* i; lit* i;
printf( "Running SAT solver with parameters %d and %d and %d.\n", s->nLearntStart, s->nLearntDelta, s->nLearntRatio ); // printf( "Running SAT solver with parameters %d and %d and %d.\n", s->nLearntStart, s->nLearntDelta, s->nLearntRatio );
//////////////////////////////////////////////// ////////////////////////////////////////////////
if ( s->fSolved ) if ( s->fSolved )
{ {
......
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