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+b1 53,3 KiB139,0 KiB [lista plików]