すべてのオプション
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: cryptominisat  ]

パッケージ: libcryptominisat5-dev (5.8.0+dfsg1-1 など)

libcryptominisat5-dev に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

development files for the CryptoMiniSat SAT solver

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.

タグ: ソフトウェア開発: ライブラリ, 役割: 開発ライブラリ

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

  • 依存
  • 推奨
  • 提案
  • enhances

libcryptominisat5-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
armel 5.8.0+dfsg1-1+b3 13.6 kB64.0 kB [ファイル一覧]