Resource Library for Mathematical Optimization