[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #95: not finding glable optimum with an SOS2 formulation solving using CBC

[COIN-OR Branch-and-Cut MIP Solver]

#95: not finding glable optimum with an SOS2 formulation solving using CBC
-------------------+--------------------------------------------------------
Reporter:  ylee77  |       Type:  defect
  Status:  new     |   Priority:  major 
 Version:          |   Keywords:        
-------------------+--------------------------------------------------------

Comment(by ylee77):

 And by the way, isProvenOptimal() returns 0 yet status() and
 secondaryStatus() both return 0 (search completed).

-- 
Ticket URL: <https://projects.coin-or.org/Cbc/ticket/95#comment:1>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.