[Couenne-tickets] [Couenne, a solver for non-convex MINLP problems] #9: downEstimate_ and upEstimate_ not both nonzero

[Couenne, a solver for non-convex MINLP problems]

#9: downEstimate_ and upEstimate_ not both nonzero
------------------------+---------------------------------------------------
 Reporter:  pbelotti    |       Owner:  somebody
     Type:  defect      |      Status:  new     
 Priority:  minor       |   Milestone:          
Component:  component1  |     Version:          
 Keywords:              |  
------------------------+---------------------------------------------------
 Often, an assert() is evaluated false on the condition in the subject.
 Couenne does not crash in non-debug mode due to this, but that condition
 should be always satisfied.

-- 
Ticket URL: <https://projects.coin-or.org/Couenne/ticket/9>
Couenne, a solver for non-convex MINLP problems <https://projects.coin-or.org/Couenne>
Couenne, a solver for non-convex MINLP problems