• Franz Thoma's avatar
    Fix conflict counting bug · 6c00067c
    Franz Thoma authored
    We used to miss a lot of conflicts during counting in `logBackjump`.
    Counting initial conflicts here drastically reduces search time in some
    cases.
    Not sure whether counting the current conflicts (`cs`) may be even
    better than counting the initial conflicts (`initial`).
    6c00067c
Explore.hs 8.21 KB