Software
Couenne
Couenne is an exact solver for Mixed-Integer Nonlinear Programming problems. It is a branch&bound that computes lower bounds by linearizing the (nonconvex) continuous relaxation of the original problem. Couenne is an Open-Source software distributed under the Common Public License.
A parallel version is in the works. Its name is CouPE (Couenne Parallel Extension).