Interface ILPProblem