COIN-OR solver for mixed-integer linear programs
https://projects.coin-or.org/SYMPHONY/