String Analysis.SolverFilesDirectory { get; }