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

Пакет: libbdd0c2 (2.4-11 и другие)

Ссылки для 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

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
kfreebsd-i386 2.4-11+b1 55,4 Кб145,0 Кб [список файлов]