Balík: libbdd0c2 (2.4+dfsg-2)

[ Zdroj: buddy  ]

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.

Značky: Role: Shared Library

Ostatné balíky súvisiace s balíkom libbdd0c2

• dep: libc6 (>= 2.29)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libgcc-s1 (>= 3.5)

  podporná knižnica GCC

• dep: libstdc++6 (>= 13.1)

  štandardná knižnica C++ GNU v3

Stiahnuť libbdd0c2

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
armhf	46.6 kB	99.0 kB	[zoznam súborov]