diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-15 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-15 08:01:00 -0700 |
| commit | 74ff01bfb54e9f0a68ac88b827521a422269a144 (patch) | |
| tree | 240c07b87e355dba9caa1e6187d6673b92996eac /src/sat | |
| parent | 37b6c727f1276d9d97a79a8f40271aee446a4ba4 (diff) | |
| download | abc-74ff01bfb54e9f0a68ac88b827521a422269a144.tar.gz abc-74ff01bfb54e9f0a68ac88b827521a422269a144.tar.bz2 abc-74ff01bfb54e9f0a68ac88b827521a422269a144.zip | |
Version abc80515
Diffstat (limited to 'src/sat')
| -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 6d517b8e..0179796c 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -789,7 +789,7 @@ clause* sat_solver_propagate(sat_solver* s) return confl; } -static inline int clause_cmp (const void* x, const void* y) { +static int clause_cmp (const void* x, const void* y) { return clause_size((clause*)x) > 2 && (clause_size((clause*)y) == 2 || clause_activity((clause*)x) < clause_activity((clause*)y)) ? -1 : 1; } void sat_solver_reducedb(sat_solver* s) |