cuda - 是否有可用的基于 GPU 的约束求解器？ CUDA，OpenCL？

<分区>

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。

关闭 8 年前。

要求我们推荐或查找书籍、工具、软件库、教程或其他站外资源的问题对于 Stack Overflow 来说是偏离主题的，因为它们往往会吸引自以为是的答案和垃圾邮件。相反，请描述问题以及迄今为止为解决该问题所做的工作。
要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是偏离主题的，因为它们往往会吸引自以为是的答案和垃圾邮件。相反，describe the problem以及迄今为止为解决该问题所做的工作。

我正在寻找一个可用的基于 GPU 的约束求解器来解决学校的约束时间表。约束问题是类(class)时间表。

JaCoP 是另一个约束求解器 https://github.com/radsz/jacop

最佳答案

我不知道有这样已经可用的求解器。

但是:
Satisfiability solvers可用于解决此 dissertation 中讨论的时间表问题.

CUD@SAT项目演示了如何使用 NVIDIA CUDA 解决 SAT 问题建筑学。使用 hpgu.org 的搜索工具可能会有所帮助.它完全致力于此类项目。

关于cuda - 是否有可用的基于 GPU 的约束求解器？ CUDA，OpenCL？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24972295/