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

Пакет: libbdd0c2 (2.4-11) [debports]

Ссылки для libbdd0c2

Screenshot

Ресурсы Debian:

Исходный код :

Не найден

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

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

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
powerpcspe (неофициальный перенос) 46,9 Кб152,0 Кб [список файлов]