Пакунок: libbdd-dev (2.4-11build1)

Links for libbdd-dev

Trisquel Resources:

Download Source Package buddy:

Maintainer:

Debian QA Group

Original Maintainer:

Debian QA Group

External Resources:

Homepage [buddy.sourceforge.net]

Similar packages:

Binary decision-diagram library (development)

Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more.

libbdd-dev is the BuDDy development package containing a static library and the include files needed for building applications using BuDDy.

Інші пакунки пов'язані з libbdd-dev

depends

recommends

suggests

dep: libbdd0c2 (= 2.4-11build1)

Binary decision-diagram library (runtime)
dep: libc6-dev

GNU C Library: Development Libraries and Header Files

or libc-dev

virtual package provided by libc6-dev

Завантажити libbdd-dev

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
amd64	443.8 kB	695 kB	[список файлів]
arm64	445.9 kB	706 kB	[список файлів]
armhf	440.5 kB	604 kB	[список файлів]
ppc64el	460.8 kB	795 kB	[список файлів]

Sections