Solver (TSolverManager)