scala - 使用 Scala 类的 SAT 求解器

Question

我需要从用 Scala 编写的应用程序中调用通用 SAT 求解器。我正在研究 SAT4J，因为它可以很容易地作为 jar 文件导入，但是我发现它很难实际使用。有没有办法可以触发 SAT4j jar 文件来从我的 Scala 代码中计算我的 SAT 问题？

如果 SAT4J 不是正确的方法，是否有任何 SAT 库我可以直接使用而不是启动外部 SAT 求解器？

Answer 1

Sat4j 是纯 Java，因此只要 jar 在 Scala 类路径上可用，您就可以直接在 scala 中使用它。

Sat4j 有一个 scala 绑定： https ://gitlab.ow2.org/sat4j/sat4j/tree/master/org.sat4j.scala

您可以从源代码构建它，或者从持续集成中获取它： https ://gitlab.ow2.org/sat4j/sat4j/pipelines/95/builds