všetky možnosti
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj:  ]

Balík: libbdd0c2 (2.4+dfsg-2) [debports]

Odkazy pre libbdd0c2

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Externé zdroje:

Podobné balíky:

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
  • vylepšuje

Stiahnuť libbdd0c2

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 54.5 kB216.0 kB [zoznam súborov]