Code

Backjumping failures#154

Code

Closed

notatallshaw wants to merge 1 commit intosarugaku:mainsarugaku/resolvelib:mainfrom notatallshaw:backjumping-failuresnotatallshaw/resolvelib:backjumping-failuresCopy head branch name to clipboard

+200

Commits

Commits on Jun 23, 2024

• Add backjumping failure tests

  notatallshaw

  committed
  7974717

  Copy full SHA for 7974717