diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 22:29:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 22:29:24 -0700 |
| commit | b2f1d21d37c5044d069b747747ee919a6013c665 (patch) | |
| tree | 2e26393762d88ca4caba4991d251166c464bd792 /src | |
| parent | a92c41f76712b0873dfaae0ac94a535a3ee80dd6 (diff) | |
| download | abc-b2f1d21d37c5044d069b747747ee919a6013c665.tar.gz abc-b2f1d21d37c5044d069b747747ee919a6013c665.tar.bz2 abc-b2f1d21d37c5044d069b747747ee919a6013c665.zip | |
Removing print-out message.
Diffstat (limited to 'src')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index 7a703830..168c8bf7 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -1499,7 +1499,7 @@ int sat_solver_solve(sat_solver* s, lit* begin, lit* end, ABC_INT64_T nConfLimit lbool status = l_Undef; 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 ) { |