[Bonmin-tickets] [Bonmin] #31: Segmentation fault on MINLPLib instance

[Bonmin]

#31: Segmentation fault on MINLPLib instance
----------------------+-----------------------------------------------------
Reporter:  giacomo.n  |        Owner:  pbonami
    Type:  defect     |       Status:  closed 
Priority:  minor      |    Component:  Bonmin 
 Version:  trunk      |   Resolution:  fixed  
Keywords:             |  
----------------------+-----------------------------------------------------
Changes (by pbonami):

  * status:  assigned => closed
  * resolution:  => fixed

-- 
Ticket URL: <https://projects.coin-or.org/Bonmin/ticket/31#comment:2>
Bonmin <http://projects.coin-or.org/Bonmin>
Basic Open-source Nonlinear Mixed INteger programming