[ ソース: sat4j ]
パッケージ: sat4j (2.3.5-0.3)
効率的な SAT ソルバー ライブラリ Java 版
SAT4J ライブラリの狙いは、Java 上に効率的な SAT ソルバーライブラリを提供 することです。OpenSAT プロジェクトと比較して、SAT4J ライブラリは SAT を「ブラックボックス」として使い、詳細を気にせずにアプリケーションに SAT テクノロジを組み込みたい初心者をターゲットにしています。SAT4J プロジェクトは SAT 研究者に仕事の基礎を提供することも目指しています。
その他の sat4j 関連パッケージ
|
|
|
|
-
- dep: default-jre
- 標準的な Java または Java 互換のランタイム
- または java7-runtime
- 以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-11-jre, openjdk-17-jre
- または java8-runtime
- 以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-11-jre, openjdk-17-jre
- または java9-runtime
- 以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-11-jre, openjdk-17-jre
- または java10-runtime
- 以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-11-jre, openjdk-17-jre
- または java11-runtime
- 以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-11-jre, openjdk-17-jre
-
- dep: jarwrapper (>= 0.5)
- Run executable Java .jar files
-
- dep: libcommons-cli-java
- Command line arguments and options parsing library