3 ms·

Is COIN-OR from Google? I'm pretty sure I've met some lead developers of the group in person and they weren't from Google IIRC.

• quico 6y ago
  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/ https://www.coin-or.org/ [1]: https://developers.google.com/optimization/ https://developers.google.com/optimization/
  • eru 6y ago
    Google's OR-tools can use coin-or under the hood. So it's many people's main way to interact with coin-or.
  • antman 6y ago
    Exactly thanks, sorry cannot edit it now!
• deleted 6y ago
  [deleted]