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

Pakiet: libbdd0c2 (2.4+dfsg-2) [debports]

Odnośniki dla libbdd0c2

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

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
m68k (port nieoficjalny) 44,6 KiB119,0 KiB [lista plików]