Closed elliot-laster-ezc closed 1 year ago
Adds setters for num_workers and cp_model_presolve. These flags are useful for performance tuning.
num_workers
cp_model_presolve
Thanks @elliot-laster-ezc!
Adds setters for
num_workers
andcp_model_presolve
. These flags are useful for performance tuning.