![]() |
OR-Tools
8.2
|
Definition at line 54 of file sat_inprocessing.h.
Public Attributes | |
double | deterministic_time_limit = 30.0 |
bool | log_info = false |
bool | extract_binary_clauses_in_probing = false |
bool | use_transitive_reduction = false |
double deterministic_time_limit = 30.0 |
Definition at line 56 of file sat_inprocessing.h.
bool extract_binary_clauses_in_probing = false |
Definition at line 63 of file sat_inprocessing.h.
bool log_info = false |
Definition at line 60 of file sat_inprocessing.h.
bool use_transitive_reduction = false |
Definition at line 71 of file sat_inprocessing.h.