MC++ is a toolkit for bounding factorable functions. It provides methods for computing bounds on a factorable function in the form of convex/concave relaxations, Taylor models, and spectral bounds. - View it on GitHub