パッケージ: libcryptominisat5-dev (5.8.0+dfsg1-2)

libcryptominisat5-dev に関するリンク

Trisquel の資源:

• Install using apturl
• Entry at directory.fsf.org
• バグ報告
• Changelog
• 著作権ファイル

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

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

メンテナ:

• Debian Science Team (メールアーカイブ)

Original Maintainers:

• Debian Science Team (メールアーカイブ)
• Julian Rüth
• Julien Puydt

外部の資源:

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

類似のパッケージ:

• libcryptominisat5-5.8
• cryptominisat
• libphp-predis
• php-nrk-predis
• golang-github-bmatsuo-lmdb-go-dev
• libircclient-dev
• libopentracing-c-wrapper-dev
• golang-github-xtaci-kcp-dev
• psi-l10n
• libfilezilla-dev
• golang-github-gogo-googleapis-dev

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

• dep: libcryptominisat5-5.8 (= 5.8.0+dfsg1-2)

  SAT solver library

libcryptominisat5-dev のダウンロード