Searched defs:max (Results 1 - 1 of 1) sorted by relevance
| /pkg/src/modules/solver/ | ||
| H A D | solver.c | 665 int max = levels[lit_var(lits[1])]; local 669 if (levels[lit_var(lits[i])] > max){ 670 max = levels[lit_var(lits[i])]; |
Completed in 707 milliseconds