все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: buddy  ]

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

Ссылки для libbdd0c2

Screenshot

Ресурсы Debian:

Исходный код 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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка 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 Кб [список файлов]