使用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