cpsolver:基于局部搜索的约束满足和优化问题求解器-源码

CPS银 约束满足和优化问题的基于本地搜索的求解器 约束求解器库包含一个基于本地搜索的框架，该框架允许使用约束编程原语（变量，值，约束）对问题进行建模。 搜索基于迭代前向搜索算法。 该算法类似于本地搜索方法。 但是，与经典的本地搜索技术相比，它在可行的解决方案上运行，尽管不一定完整。 在这些解决方案中，某些变量可能未分配。 但是，必须满足对分配变量的所有硬约束。 与完整但不可行的解决方案相比，此类解决方案更易于可视化，并且对人类用户更有意义。 由于该算法的迭代特性，求解器还可以轻松地从任何可行的解决方案（完整或不完整）开始，停止或继续。 该框架还支持最小扰动问题的动态方面，从而使解决方案（扰动）的更改次数保持尽可能小。 约束求解器是计时（ITC2007）的所有三个曲目的决赛选手之一，它赢得了其中的两个冠军，有关更多详细信息，请参阅 。 组件 库中包含以下模块： 基于局部搜索的约束