Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source:  ]

Paketti: libbdd0c2 (2.4 dfsg-2) [debports]

Links for libbdd0c2

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libbdd0c2 liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libbdd0c2

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
ppc64 (epävirallinen siirros) 62.0 kt218.0 kt [tiedostoluettelo]