mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-05 14:55:45 +00:00
Code Activity

cleanup

Browse source
This commit is contained in:
Lev Nachmanson 2023-03-06 09:51:10 -08:00
parent 377ceba6d5
commit 73224adc48
8 changed files with 9 additions and 112 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -223,7 +223,6 @@ public:
unsigned column_norms_update_frequency { 12000 };
bool scale_with_ratio { true };
double density_threshold { 0.7 };
bool use_breakpoints_in_feasibility_search { false };
unsigned max_row_length_for_bound_propagation { 300 };
bool backup_costs { true };
unsigned column_number_threshold_for_using_lu_in_lar_solver { 4000 };