Mixed Integer Programming Instance Definition