パッケージ: libcryptominisat5-5.11t64 (5.11.21+dfsg1-2)

libcryptominisat5-5.11t64 に関するリンク

• eLxr パッチ追跡システム

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

• [cryptominisat_5.11.21+dfsg1-2.debian.tar.xz]
• [cryptominisat_5.11.21+dfsg1-2.dsc]
• [cryptominisat_5.11.21+dfsg1.orig.tar.xz]

メンテナ:

• Debian Science Maintainers
• Julian Rüth
• Julien Puydt

外部の資源:

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

類似のパッケージ:

• libcryptominisat5-dev
• cryptominisat
• minisat
• sat4j
• picosat
• lib0install-solver-ocaml
• lib0install-solver-ocaml-dev
• clasp
• librsb0t64
• kissat
• librsb-doc

その他の libcryptominisat5-5.11t64 関連パッケージ

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC support library

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

libcryptominisat5-5.11t64 のダウンロード