create

abstract fun create(evaluator: EvaluatorIfc, memberIndex: Int, name: String): Solver(source)

Creates a fresh solver for one member of a concurrent run.

Return

the newly created solver

Parameters

evaluator

the member's private evaluator; the created solver must use it exclusively

memberIndex

the 0-based index of the member within the run; useful for labeling, logging, or index-dependent configuration

name

a suggested name for the solver instance (derived from the member's label); implementations should pass it to the solver so traces and logs identify the member