-
Herbert Valerio Riedel authored
The last time the max-backjumps was increased was back in 2014 (see 0229cd52) as suggested per #1780, and while `--reorder-goals` might often help as well, it also often comes at a bigger runtime penalty on average than doubling the max-backjumps. This should also address issues such as #5882
085df06c
To find the state of this project's repository at the time of any of these versions, check out the tags.