Algorithm 完全图k-着色求解器

我正在寻找一个完整的CSP解决方案，这意味着它将始终找到一个解决方案，如果它存在，并会告诉你，如果没有解决方案存在。首选针对图形着色进行优化的解算器，但不是必需的。有很多迭代算法/解算器，但我的工作需要完整性（？）

我已经使用弱承诺搜索算法实现了我自己的解算器，但我确信有许多优化和基于线程的功能可以使解算器更快，并允许我增加模拟中可以使用的变量数量。我意识到这是一个指数级的难题，但每一点都会有帮助

有人拥有的分支和定价方法。我没有使用过这个代码，但我相信这种方法在精确着色方面是最先进的