パッケージ: libbdd0c2 (2.4+dfsg-2)

libbdd0c2 に関するリンク

eLxr パッチ追跡システム

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

メンテナ:

Debian QA Group

外部の資源:

ホームページ [buddy.sourceforge.net]

類似のパッケージ:

Binary decision-diagram library (runtime)

Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library.

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

依存

推奨

提案

enhances

dep: libc6 (>= 2.29)

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

libbdd0c2 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	54.8 kB	144.0 kB	[ファイル一覧]