Google OR-Tools组合优化软件

OR-Tools在国际约束编程竞赛2020 MiniZinc Challenge中获得了三枚金牌。 OR-Tools是一个用于优化的开源软件套件，经过调整后可解决世界上最棘手的问题，包括车辆路线，流量，整数和线性规划以及约束规划。 使用您选择的编程语言对问题进行建模后，您可以使用六种求解器中的任何一种来求解：Gurobi或CPLEX等商业求解器，或SCIP，GLPK或Google等开源求解器 GLOP和屡获殊荣的CP-SAT。