Modelling the ILP problem