From 12203fc69ab2ecf69fe01964dcba19ea5bef77c2 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 15 Mar 2025 06:18:42 -1000 Subject: [PATCH] sort terms by weight for tightening --- src/math/lp/dioph_eq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index be0ecd8c8..a345fda40 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -1408,7 +1408,7 @@ namespace lp { sorted_changed_terms.push_back(j); } - bool sort_by_weight = false; + bool sort_by_weight = true; if (sort_by_weight) // Sort by term_weight descending std::sort(sorted_changed_terms.begin(), sorted_changed_terms.end(),