FATCOP: A Mixed Integer Program Solver Michael Ferris Qun Chen University of Wisconsin-Madison Jeffrey Linderoth Argonne National Laboratories MIP formulation minimize cTx…