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