是否有任何可用的基于 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 的搜索工具可能是有益的。它完全致力于此类项目。