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

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

Ссылки для 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,8 Кб144,0 Кб [список файлов]