macroSolver

protected val macroSolver: Solver(source)