added functionality for MIP problems