Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: buddy  ]

Paket: libbdd0c2 (2.4+dfsg-1)

Links für libbdd0c2

Screenshot

Debian-Ressourcen:

Quellcode-Paket buddy herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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 Pakete mit Bezug zu libbdd0c2

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libbdd0c2 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 54,7 kB144,0 kB [Liste der Dateien]