![]() |
OR-Tools
8.2
|
Public Member Functions | |
std::string | ToString () const |
Public Attributes | |
double | deterministic_limit = 1.0 |
bool | extract_binary_clauses = false |
bool | use_tree_look = true |
bool | use_queue = true |
bool | subsume_with_binary_clause = true |
bool | log_info = false |