diff options
Diffstat (limited to 'news/11908.feature.rst')
-rw-r--r-- | news/11908.feature.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/news/11908.feature.rst b/news/11908.feature.rst deleted file mode 100644 index 2b9ec18d9..000000000 --- a/news/11908.feature.rst +++ /dev/null @@ -1 +0,0 @@ -Reduce the number of resolver rounds, since backjumping makes the resolver more efficient in finding solutions. This also makes pathological cases fail quicker. |