mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-16 19:06:17 +00:00
Code Activity

improved SLS

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2014-03-21 14:57:25 -07:00
parent 5b1f83a676
commit 6e285f06de
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/simplex/sparse_matrix.h
View file

@ -35,7 +35,7 @@ namespace simplex {
struct row_entry { struct row_entry {
numeral m_coeff; numeral m_coeff;
var_t m_var; var_t m_var;
row_entry(numeral& c, var_t v): m_coeff(c), m_var(v) {} row_entry(numeral const& c, var_t v): m_coeff(c), m_var(v) {}
}; };
private: private: