是否有任何可用的基于GPU的约束解算器？CUDA，OpenCL？

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

---

JaCoP是另一个约束解算器

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

但是：
可用于解决本节中讨论的时间表问题

该项目演示了如何使用体系结构解决SAT问题。

---

使用的搜索工具可能会很有启发性。它完全用于此类项目。

您不能使用多线程或OpenMP库来完成此任务吗？