ILP Implementation