Add MIP solving and int/bin variables