diff --git a/news/12459.feature.rst b/news/12459.feature.rst new file mode 100644 index 00000000000..c82e9a35350 --- /dev/null +++ b/news/12459.feature.rst @@ -0,0 +1 @@ +When there are complex conflicting requirements use much faster backtracking choices