packages
[ ソース: sat4j ]
パッケージ: sat4j (2.3.6-1build1) [universe]
sat4j に関するリンク
Ubuntu の資源:
sat4j ソースパッケージをダウンロード:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (メールアーカイブ)
- Michael Tautschnig
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [www.sat4j.org]
類似のパッケージ:
Efficient library of SAT solvers in Java
その他の sat4j 関連パッケージ
|
|
|
|
-
- dep: default-jre
- Standard Java or Java compatible Runtime
- または java8-runtime
- 以下のパッケージによって提供される仮想パッケージです: openjdk-11-jre, openjdk-17-jre, openjdk-21-jre, openjdk-8-jre
- または java9-runtime
- 以下のパッケージによって提供される仮想パッケージです: openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
- または java10-runtime
- 以下のパッケージによって提供される仮想パッケージです: openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
- または java11-runtime
- 以下のパッケージによって提供される仮想パッケージです: openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
-
- dep: jarwrapper (>= 0.5)
- Run executable Java .jar files
-
- dep: libcommons-cli-java
- Command line arguments and options parsing library