Increase defaultMaxBackjumps to 2000 (from 200).
As suggested by Anders Löh in #1780. (cherry picked from commit e2b481a0)
Showing
As suggested by Anders Löh in #1780. (cherry picked from commit e2b481a0)
mentioned in commit 085df06c
·mentioned in commit 085df06c