docs: public void push(Solution solution, Value value) {
  		Evaluation<Solution, Value> evaluation = new Evaluation<Solution, Value>();
  		evaluation.solution = solution;
  		evaluation.value = value;
  		push(evaluation);
  	}