String AnalysisSettings.SolverFilesDirectory { get; }