【发布时间】：2017-04-01 22:38:30
【问题描述】：
我需要从用 Scala 编写的应用程序中调用通用 SAT 求解器。我正在研究 SAT4J，因为它可以很容易地作为 jar 文件导入，但是我发现它很难实际使用。有没有办法可以触发 SAT4j jar 文件来从我的 Scala 代码中计算我的 SAT 问题？
如果 SAT4J 不是正确的方法，是否有任何 SAT 库我可以直接使用而不是启动外部 SAT 求解器？
【问题讨论】：
【发布时间】：2017-04-01 22:38:30
【问题描述】：
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
【讨论】：