public Solver buildSolver() {
DefaultSolver solver = new DefaultSolver();
BasicPlumbingTermination basicPlumbingTermination = new BasicPlumbingTermination();
solver.setBasicPlumbingTermination(basicPlumbingTermination);
EnvironmentMode environmentMode = this.environmentMode == null ? EnvironmentMode.REPRODUCIBLE
: this.environmentMode;
if (environmentMode != EnvironmentMode.PRODUCTION) {
if (randomSeed != null) {
solver.setRandomSeed(randomSeed);
} else {