![]() |
OR-Tools
8.2
|
Definition at line 249 of file sat_inprocessing.h.
Public Member Functions | |
BlockedClauseSimplifier (Model *model) | |
void | DoOneRound (bool log_info) |
|
inlineexplicit |
Definition at line 251 of file sat_inprocessing.h.
void DoOneRound | ( | bool | log_info | ) |
Definition at line 889 of file sat_inprocessing.cc.