solver.setBasicPlumbingTermination(basicPlumbingTermination);
EnvironmentMode environmentMode = this.environmentMode == null ? EnvironmentMode.REPRODUCIBLE
: this.environmentMode;
solver.setEnvironmentMode(environmentMode);
RandomFactory randomFactory;
if (randomFactoryClass != null) {
if (randomType != null || randomSeed != null) {
throw new IllegalArgumentException(
"The solverConfig with randomFactoryClass (" + randomFactoryClass
+ ") has a non-null randomType (" + randomType