ILP models