mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

fix sort_non_basis (#6755)

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2023-06-08 13:08:09 -07:00 • committed by GitHub
parent 1d62964c58
commit f7ec5c5c64
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/lp/lp_primal_core_solver_def.h
View file

@ -37,6 +37,7 @@ void lp_primal_core_solver<T, X>::sort_non_basis() {
unsigned ca = this->m_A.number_of_non_zeroes_in_column(a);
unsigned cb = this->m_A.number_of_non_zeroes_in_column(b);
if (ca == 0 && cb != 0) return false;
if (ca != 0 && cb == 0) return true;
return ca < cb;
});