1
0
Fork 0

Off by one error in the solver - 1 cannot be false

Fixes #133, #160, #162, #177, #289
pull/309/head
Nils Adermann 2012-02-18 00:09:25 +01:00
parent 70bea8fe57
commit cb7f656fa9
1 changed files with 1 additions and 1 deletions

View File

@ -1477,7 +1477,7 @@ class Solver
$l1retry = false;
if (!$num && !$l1num) {
if (!$num && !--$l1num) {
// all level 1 literals done
break 2;
}