sort terms by weight for tightening

levnach · levnach · commit e532308b9288 · 2025-03-15T06:18:42.000-10:00
diff --git 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(),

Original file line number	Diff line number	Diff line change
`@@ -1408,7 +1408,7 @@ namespace lp {`
`1408`	`1408`	`sorted_changed_terms.push_back(j);`
`1409`	`1409`	`}`
`1410`	`1410`
`1411`		`- bool sort_by_weight = false;`
	`1411`	`+ bool sort_by_weight = true;`
`1412`	`1412`	`if (sort_by_weight)`
`1413`	`1413`	`// Sort by term_weight descending`
`1414`	`1414`	`std::sort(sorted_changed_terms.begin(), sorted_changed_terms.end(),`