alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: buddy  ]

Pakket: libbdd0c2 (2.4+dfsg-2)

Verwijzigingen voor libbdd0c2

Screenshot

Debian bronnen:

Het bronpakket buddy downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan libbdd0c2 gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libbdd0c2 downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
i386 56,8 kB150,0 kB [overzicht]