diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 20:21:46 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 20:21:46 +0700 |
| commit | 01924ca118cad9bc8bf84de0525e54f5c4a832ec (patch) | |
| tree | 27bca3f3218ce7def6998a9db88bec6d57dc4222 /src/opt/sbd/sbdLut.c | |
| parent | 54b4692d4bb2a6c5e59b5f54aaff95e2c4966e77 (diff) | |
| download | abc-01924ca118cad9bc8bf84de0525e54f5c4a832ec.tar.gz abc-01924ca118cad9bc8bf84de0525e54f5c4a832ec.tar.bz2 abc-01924ca118cad9bc8bf84de0525e54f5c4a832ec.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/sbdLut.c')
| -rw-r--r-- | src/opt/sbd/sbdLut.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdLut.c b/src/opt/sbd/sbdLut.c index e8aee790..ffcb71f8 100644 --- a/src/opt/sbd/sbdLut.c +++ b/src/opt/sbd/sbdLut.c @@ -96,7 +96,6 @@ int Sbd_ProblemAddClauses( sat_solver * pSat, int nVars, int nStrs, int * pVars, } } } -//printf( "Stop par = %d.\n", VarPar ); return 1; } void Sbd_ProblemAddClausesInit( sat_solver * pSat, int nVars, int nStrs, int * pVars, Sbd_Str_t * pStr0 ) |