TProjectSettings
Solver
SolverVerbosity