我需要从Scala编写的应用程序中调用通用SAT求解器。我正在研究SAT4J，因为它可以很容易地作为jar文件导入，但是我发现很难实际使用它。有没有办法可以从我的Scala代码中解雇SAT4j jar文件来计算我的SAT问题？
如果SAT4J不是正确的方法，是否有任何SAT库我可以直接使用而不是启动外部SAT求解器？
答案 0 :(得分：0)
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