Skip to content
Sections
>> Trisquel >> Balíky >> aramo >> libs >> libbdd0c2
etiona  ] [  nabia  ] [  aramo  ]
[ Zdroj: buddy  ]

Balík: libbdd0c2 (2.4-11build1)

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.

Ostatné balíky súvisiace s balíkom libbdd0c2

  • závisí
  • odporúča
  • navrhuje
  • dep: libc6 (>= 2.29)
    GNU C Library: Shared libraries
    tiež virtuálny balík poskytovaný balíkom libc6-udeb
  • dep: libgcc-s1 (>= 3.5)
    GCC support library
  • dep: libstdc++6 (>= 4.9)
    GNU Standard C++ Library v3

Stiahnuť libbdd0c2

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
armhf 43.5 kB91 kB [zoznam súborov]