Boolean SolveConfiguration.Default { get; }