问使用Scala类的SAT求解器
EN

Stack Overflow用户

提问于 2017-04-01 22:38:30

回答 1查看 237关注 0票数 0

我需要从用Scala编写的应用程序中调用一个通用SAT解决程序。我查看了SAT4J，因为它可以很容易地作为jar文件导入，但是我发现很难实际使用它。有什么方法可以激发SAT4j jar文件来从我的Scala代码中计算我的SAT问题吗？

如果SAT4J不是正确的方法，我是否可以直接使用任何SAT库来代替启动外部SAT解决程序？

回答已采纳

发布于 2017-04-02 21:37:29

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

您可以从源构建它，也可以通过持续集成获取它：https://gitlab.ow2.org/sat4j/sat4j/pipelines/95/builds

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/43162776

复制

相似问题

问使用Scala类的SAT求解器EN