有没有可用的基于GPU的约束求解器？ CUDA，OpenCL？

Question

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

http://docs.jboss.org/drools/release/latestFinal/optaplanner-docs/html_single/#curriculumCourse

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

Answer 1

我不知道这样的已有解算器。

<强>可是：
Satisfiability solvers可用于解决时间表问题，如dissertation中所述。

CUD@SAT项目演示了如何使用NVIDIA CUDA架构解决SAT问题。 使用hpgu.org的搜索工具可能具有指导意义。它完全致力于此类项目。