パッケージ: sat4j (2.3.6-1)

sat4j に関するリンク

• eLxr パッチ追跡システム

sat4j ソースパッケージをダウンロード:

• [sat4j_2.3.6-1.debian.tar.xz]
• [sat4j_2.3.6-1.dsc]
• [sat4j_2.3.6.orig.tar.xz]

メンテナ:

• Debian Science Maintainers
• Michael Tautschnig

外部の資源:

• ホームページ [www.sat4j.org]

類似のパッケージ:

• libpiccolo-java
• picosat
• libfreemarker-java
• libvibes0t64
• vibes
• libjs-bootbox
• libvibes-dev
• node-fbjs
• lib0install-solver-ocaml
• lib0install-solver-ocaml-dev
• jruby

その他の sat4j 関連パッケージ

• dep: default-jre

  Standard Java or Java compatible Runtime

  または java8-runtime

  以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-21-jre

  または java9-runtime

  以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-21-jre

  または java10-runtime

  以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-21-jre

  または java11-runtime

  以下のパッケージによって提供される仮想パッケージです: default-jre, openjdk-21-jre

• dep: jarwrapper (>= 0.5)

  Run executable Java .jar files

• dep: libcommons-cli-java

  Command line arguments and options parsing library

sat4j のダウンロード