Scalable, Universal, Generic Optimization Infrastructure