Пакет: libbdd0c2 (2.4+dfsg-1)

[ Источник: buddy  ]

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

• dep: libc6 (>= 2.29)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libgcc-s1 (>= 3.0) [не armel, armhf, mipsel]

  вспомогательная библиотека GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [mipsel]

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

  стандартная библиотека GNU C++ версии 3

Загрузка libbdd0c2

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	54,7 Кб	144,0 Кб	[список файлов]
arm64	51,3 Кб	152,0 Кб	[список файлов]
armel	46,3 Кб	123,0 Кб	[список файлов]
armhf	46,7 Кб	95,0 Кб	[список файлов]
i386	57,0 Кб	150,0 Кб	[список файлов]
mips64el	47,6 Кб	161,0 Кб	[список файлов]
mipsel	46,8 Кб	160,0 Кб	[список файлов]
ppc64el	61,2 Кб	216,0 Кб	[список файлов]
s390x	51,6 Кб	156,0 Кб	[список файлов]