Comment by Frost1x

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.