[Symphony-tickets] [SYMPHONY] #148: Possible Bug - Failure to terminate

[SYMPHONY]

#148: Possible Bug - Failure to terminate
------------------------+--------------------
  Reporter:  sobersoup  |      Owner:  tkr
      Type:  defect     |     Status:  closed
  Priority:  normal     |  Milestone:  5.2
 Component:  Not Sure   |    Version:  5.6.13
Resolution:  migrated   |   Keywords:
------------------------+--------------------
Changes (by stefan):

 * status:  new => closed
 * resolution:   => migrated


Comment:

 This ticket has been migrated to !GitHub and will be resolved there:
 ​​https://github.com/coin-or/SYMPHONY/issues/148

--
Ticket URL: <https://projects.coin-or.org/SYMPHONY/ticket/148#comment:1>
SYMPHONY <http://projects.coin-or.org/SYMPHONY>
The SYMPHONY framework for parallel branch-and-cut algorithms.