[ bookworm ] [ sid ]

[ ソース: ]

パッケージ: libcryptominisat5-5.11 (5.11.4+dfsg1-3) [debports]

libcryptominisat5-5.11 に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

外部の資源:

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

類似のパッケージ:

SAT solver library

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

This package provides a shared library to link against the CryptoMiniSat library.

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

依存

推奨

提案

enhances

dep: libc6 (>= 2.34)

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libgcc-s1 (>= 4.2)

GCC 共有ライブラリ
dep: libstdc++6 (>= 13.1)

GNU 標準 C++ ライブラリ v3

libcryptominisat5-5.11 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
riscv64 (非公式の移植版)	526.7 kB	1,139.0 kB	[ファイル一覧]