![]() |
OR-Tools
8.2
|
Definition at line 292 of file sat_inprocessing.h.
Public Member Functions | |
BoundedVariableElimination (Model *model) | |
bool | DoOneRound (bool log_info) |
|
inlineexplicit |
Definition at line 294 of file sat_inprocessing.h.
bool DoOneRound | ( | bool | log_info | ) |
Definition at line 1074 of file sat_inprocessing.cc.