Branch and bound IP solver and IR4 data