MSR CORE’s Optimization Toolkit

In this document we provide an overview of the optimization tools that have been central in our research.