Pietro: The assert on line 162 of trunk/Couenne/src/brtanch/CouenneBranchingObject.cpp does not make sense. It should be removed. The assert is assert ((brpt - l > .5) || (u - brpt > .5)); as the same condition is used in the following "if-then-else" block. Francois