Hacker News Reader

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.

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

Google's OR-tools can use coin-or under the hood. So it's many people's main way to interact with coin-or.

Exactly thanks, sorry cannot edit it now!