Application-oriented mixed integer non-linear programming