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