![]() |
OR-Tools
8.2
|
Definition at line 39 of file sat/util.h.
Public Member Functions | |
ModelRandomGenerator (Model *model) | |
void | LogSalt () const |
|
inlineexplicit |
Definition at line 45 of file sat/util.h.
|
inline |
Definition at line 60 of file sat/util.h.