OR-Tools - Google Optimization Tools

谷歌的运营研究工具。「Google's Operations Research tools」