Consistency in integer programming