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

Paketti: libbdd0c2 (2.4-11 ja muut)

Links for libbdd0c2

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti buddy:

Ylläpitäjä:

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 Versio Paketin koko Koko asennettuna Tiedostot
amd64 2.4-11+b3 53.1 kt138.0 kt [tiedostoluettelo]