Closed btc closed 7 months ago
Thank you for this delightful library. It has been a joy to use the CP model and solver.
I am trying to set random_seed as solver.parameters.random_seed, but parameters.methods indicates that random_seed= is not present.
random_seed
solver.parameters.random_seed
parameters.methods
random_seed=
Am I missing something? Or perhaps would it be possible to add it?
For reference, here is the field on the SatParameters proto definition.
Hi @btc, added in the commit above.
Thank you for this delightful library. It has been a joy to use the CP model and solver.
I am trying to set
random_seed
assolver.parameters.random_seed
, butparameters.methods
indicates thatrandom_seed=
is not present.Am I missing something? Or perhaps would it be possible to add it?
For reference, here is the field on the SatParameters proto definition.