[eru]

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