String CondensedPart.SolverFilesDirectory { get; }