Weitere Bearbeitung des Pseudo-Codes für den Solver