milp with interpretation arrays