Parameters with prefix presolving/stuffing. More...
Variables | |
constexpr Param< int > | MAXROUNDS { "presolving/stuffing/maxrounds" } |
maximal number of presolving rounds the presolver participates in (-1: no limit) | |
constexpr Param< int > | PRIORITY { "presolving/stuffing/priority" } |
priority of presolver <stuffing> | |
constexpr Param< int > | TIMING { "presolving/stuffing/timing" } |
timing mask of presolver <stuffing> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL) | |
Parameters with prefix presolving/stuffing.
|
constexpr |
maximal number of presolving rounds the presolver participates in (-1: no limit)
Definition at line 4941 of file parameters.hpp.
|
constexpr |
priority of presolver <stuffing>
Definition at line 4939 of file parameters.hpp.
|
constexpr |
timing mask of presolver <stuffing> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
Definition at line 4943 of file parameters.hpp.