Comment by quico

Coin-OR is not from Google. I suspect that OP confused Coin-OR [0] with Google's OR-tools [1].

[0]: https://www.coin-or.org/ [1]: https://developers.google.com/optimization/