GitHub repos by scipopt

3 public repos by scipopt in the catalog, most starred first.

See scipopt on GitHub