solverFactory

open override val solverFactory: SolverFactory

The SolverFactory this scope's defaultSolver was created from, and that solverOf builds further solvers from by default.