subSolver

fun subSolver(): Solver