[Bug 894608] New: Review Request: coin-or-SYMPHONY - Solver for mixed-integer linear programs