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