GitHub repos by coin-or

14 public repos by coin-or in the catalog, most starred first.

See coin-or on GitHub