mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 13:21:22 +00:00
Code Activity

na

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-07-19 13:28:20 -07:00
parent 188a478214
commit b0a22105d6
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/simplex/model_based_opt.cpp
View file

@ -1215,6 +1215,8 @@ namespace opt {
m_rows[row_id1].m_coeff -= m_rows[row_id1].m_value; m_rows[row_id1].m_coeff -= m_rows[row_id1].m_value;
m_rows[row_id1].m_type = t_le; m_rows[row_id1].m_type = t_le;
m_rows[row_id1].m_value = 0; m_rows[row_id1].m_value = 0;
}
if (m_var2is_int[x] && !a.is_one()) { if (m_var2is_int[x] && !a.is_one()) {
row& r1 = m_rows[row_id1]; row& r1 = m_rows[row_id1];
vector<var> coeffs; vector<var> coeffs;