GitHub repository: shreejitverma/google-or-tools
Description: Google's Operations Research tools: