Tools and Environments for Optimization (Spring 2014)