COMP SCI 635 - TOOLS AND ENVIRONMENTS FOR OPTIMIZATION