simplified ILP constraints