COIN-OR SYMPHONY