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

Pakiet: libbdd0c2 (2.4-11 i inne)

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 Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 2.4-11+b3 53,1 KiB138,0 KiB [lista plików]
arm64 2.4-11+b3 50,7 KiB138,0 KiB [lista plików]
armel 2.4-11+b3 45,6 KiB117,0 KiB [lista plików]
armhf 2.4-11+b3 46,1 KiB93,0 KiB [lista plików]
i386 2.4-11+b3 55,4 KiB148,0 KiB [lista plików]
mips64el 2.4-11+b3 48,0 KiB155,0 KiB [lista plików]
mipsel 2.4-11+b3 46,6 KiB146,0 KiB [lista plików]
ppc64el 2.4-11+b3 59,4 KiB218,0 KiB [lista plików]
s390x 2.4-11+b3 51,0 KiB150,0 KiB [lista plików]