MAX-CSP求解器的大数据集成？

Question

我们拥有庞大的MAX-CSP实例，其中包含数百万个变量和约束。

对于任何CSP求解器，是否有与Apache Spark或类似产品的大数据集成？还是其他一些可用的大数据并行化方法？

否则，是否有可能完全合理地并行处理MAX-CSP？还是仅在特定条件下使用问题的结构？

无法找到关于此的任何信息……反之亦然，通过约束编程来管理大数据流程等：-/

最诚挚的问候

Luma

我已经搜索：

• “火花”和“大数据”及其所有CSP求解器显示在http://xcsp.org/
• “大数据约束编程”等。