mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

removals

Browse source
This commit is contained in:
Lev Nachmanson 2023-03-03 15:32:44 -08:00
parent a44772424c
commit 2ec09944d7
2 changed files with 0 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/lp/CMakeLists.txt
View file

@ -22,7 +22,6 @@ z3_add_component(lp
lp_dual_core_solver.cpp
lp_primal_core_solver.cpp
lp_settings.cpp
lp_solver.cpp
lu.cpp
lp_utils.cpp
matrix.cpp

15
src/test/lp/lp.cpp
View file

@ -1549,21 +1549,6 @@ int get_random_int() {
return -1 + my_random() % 2; // (1.0 + RAND_MAX);
}
void add_random_row(lp_primal_simplex<double, double> * solver, int cols, int row) {
solver->add_constraint(lp_relation::Greater_or_equal, 1, row);
for (int i = 0; i < cols; i++) {
solver->set_row_column_coefficient(row, i, get_random_int());
}
}
void add_random_cost(lp_primal_simplex<double, double> * solver, int cols) {
for (int i = 0; i < cols; i++) {
solver->set_cost_for_column(i, get_random_int());
}
}
#ifndef _WINDOWS
void fill_file_names(vector<std::string> &file_names, std::set<std::string> & minimums) {
char *home_dir = getenv("HOME");