Tools and Environments for Optimization (Spring 2015)