Open source repositories tagged with #or-tools, ranked by health score.
Google's Operations Research tools:
