[Bug 894609] Review Request: coin-or-OS - Optimization Services