使用Scala类的SAT求解器

Question

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

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

Answer 1

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

Sat4j有斯卡拉结合： https://gitlab.ow2.org/sat4j/sat4j/tree/master/org.sat4j.scala

您可以从源代码建立它，或持续集成抓住它： https://gitlab.ow2.org/sat4j/sat4j/pipelines/95/builds