COIN-OR Convex Over and Under ENvelopes for Nonlinear Estimation
https://projects.coin-or.org/Couenne/