Closed carlobaldassi closed 1 month ago
This fixes #4030. Also adds a reduced test case. This was a rather simple bug in the greedy resolver that failed to actually account for all of the constraints. It's actually quite surprising how it went unnoticed for so long.
This fixes #4030. Also adds a reduced test case. This was a rather simple bug in the greedy resolver that failed to actually account for all of the constraints. It's actually quite surprising how it went unnoticed for so long.