mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
sort terms by weight for tightening
This commit is contained in:
parent
0a3c118701
commit
12203fc69a
|
@ -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(),
|
||||
|
|
Loading…
Reference in a new issue