Alternative modellierung der Variablen und Constraints