Skip to content
Sections
>> Trisquel >> Packages >> etiona >> libs >> libbdd0c2
etiona  ] [  nabia  ] [  aramo  ]
[ Source: buddy  ]

Пакунок: libbdd0c2 (2.4-11)

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
  • dep: libc6 (>= 2.11)
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libgcc1 (>= 1:4.1.1)
    GCC support library
  • dep: libstdc++6 (>= 4.2.1)
    GNU Standard C++ Library v3

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

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