all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: buddy  ]

Пакунок: libbdd0c2 (2.4+dfsg-2)

Links for libbdd0c2

Screenshot

Debian Resources:

Download Source Package buddy:

Maintainer:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Завантажити libbdd0c2

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 54.8 kB144.0 kB [список файлів]