ReadGlim
How Benders Decomposition Works Part I: Optimality Cuts — ReadGlim