COIN-OR Branch-and-Cut solver - View it on GitHub