Optimization resources at CU Boulder