Solver support for milp