tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: buddy  ]

Paket: libbdd0c2 (2.4-11 ve diğerleri)

libbdd0c2 için bağlantılar

Screenshot

Debian Kaynakları:

buddy Kaynak Paketini İndir:

Geliştirici:

Dış Kaynaklar:

Benzer paketler:

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.

libbdd0c2 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libbdd0c2 indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
armhf 2.4-11+b1 46,7 kB98,0 kB [dosya listesi]