ScalaクラスのSATソルバを使用する

Question

Scalaで書かれたアプリケーションから一般的なSATソルバを呼び出す必要があります。私はSAT4Jを見ていましたが、jarファイルとして簡単にインポートすることができますが、実際に使用することは困難です。 Scalaコード内からSAT問題を計算するためにSAT4j jarファイルを起動する方法はありますか？

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