使用 Scala 的 SAT 求解器 class
Using a SAT solver from Scala class
我需要从用 Scala 编写的应用程序调用通用 SAT 求解器。我正在研究 SAT4J，因为它可以很容易地作为 jar 文件导入，但是我发现它很难实际使用。有没有一种方法可以触发 SAT4j jar 文件来从我的 Scala 代码中计算我的 SAT 问题？
如果 SAT4J 不是正确的方法，有没有我可以直接使用的 SAT 库而不是启动外部 SAT 求解器？
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
我需要从用 Scala 编写的应用程序调用通用 SAT 求解器。我正在研究 SAT4J，因为它可以很容易地作为 jar 文件导入，但是我发现它很难实际使用。有没有一种方法可以触发 SAT4j jar 文件来从我的 Scala 代码中计算我的 SAT 问题？
如果 SAT4J 不是正确的方法，有没有我可以直接使用的 SAT 库而不是启动外部 SAT 求解器？
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