![]() |
Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
|
#include <cuts.h>
Public Attributes | |
| IntegerValue | max_scaling = IntegerValue(60) |
| bool | use_ib_before_heuristic = true |
| bool | prefer_positive_ib = true |
| IntegerValue operations_research::sat::RoundingOptions::max_scaling = IntegerValue(60) |
| bool operations_research::sat::RoundingOptions::prefer_positive_ib = true |
| bool operations_research::sat::RoundingOptions::use_ib_before_heuristic = true |