Open s-c-e opened 5 years ago
When using mzn-cbc, even when passing 'randomCbcSeed 1' randomness is still there. The documentation says to 'set randomSeed for Clp' but it does not say how can this be done from the command line.
When using mzn-cbc, even when passing 'randomCbcSeed 1' randomness is still there. The documentation says to 'set randomSeed for Clp' but it does not say how can this be done from the command line.