From 0bbfd8c2eb167817cd91ede0b2fa44141735ef63 Mon Sep 17 00:00:00 2001 From: Damian Shaw Date: Mon, 1 Jan 2024 21:31:24 -0500 Subject: [PATCH] Add news entry --- news/12459.feature.rst | 1 + 1 file changed, 1 insertion(+) create mode 100644 news/12459.feature.rst 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