/// <summary>
 /// Removes <paramref name="solver"/> from the list of <see cref="Solvers"/>.
 /// </summary>
 public void UnregisterSolver(Solver solver)
 {
     solvers.Remove(solver);
 }