diff options
| author | Pradyun Gedam <pradyunsg@gmail.com> | 2023-03-29 21:03:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-29 21:03:36 +0100 |
| commit | 10d9cbc601e5cadc45163452b1bc463d8ad2c1f7 (patch) | |
| tree | 744cde6b728470821e7bf0f3c1d3ad1769cdfdcc /news | |
| parent | 28239f9bf7c4c03dfbf8d12eb5cc3aa6ca3c0b08 (diff) | |
| download | pip-10d9cbc601e5cadc45163452b1bc463d8ad2c1f7.tar.gz | |
Reduce resolver rounds by an order of magnitude (#11908)
Co-authored-by: Pradyun Gedam <pradyunsg@users.noreply.github.com>
Diffstat (limited to 'news')
| -rw-r--r-- | news/11908.feature.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/news/11908.feature.rst b/news/11908.feature.rst new file mode 100644 index 000000000..2b9ec18d9 --- /dev/null +++ b/news/11908.feature.rst @@ -0,0 +1 @@ +Reduce the number of resolver rounds, since backjumping makes the resolver more efficient in finding solutions. This also makes pathological cases fail quicker. |