wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: buddy  ]

Pakiet: libbdd0c2 (2.4+dfsg-2)

Odnośniki dla libbdd0c2

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego buddy:

Opiekun:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z libbdd0c2

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libbdd0c2

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
ppc64el 60,6 KiB216,0 KiB [lista plików]