Couenne (Convex Over and Under ENvelopes for Nonlinear Estimation) is
a branch&bound algorithm to solve Mixed-Integer Nonlinear Programming (MINLP)
problems.