Random
constructor(restartingSolver: Solver, maxNumRestarts: Int = defaultMaxRestarts, streamNum: Int = 0, streamProvider: RNStreamProviderIfc = KSLRandom.DefaultRNStreamProvider, name: String? = null)(source)
Parameters
restarting
The solver to be used for the randomized restarts.
max
The maximum number of restarts to be performed.
stream
The random number stream number to be used for this solver.
stream
The random number stream provider to be used for this solver.
name
Optional name identifier for this instance of the solver.