Google OR ToolsCP-SAT Solver OR-Tools | Google DevelopersThe OR-Tools suite provides operations research software libraries and APIs for constraint optimization, linear optimization, and flow and graph algorithms.https://developers.google.com/optimization
