Paquet : libbdd-dev (2.4+dfsg-2)

Liens pour libbdd-dev

Ressources Debian :

Télécharger le paquet source buddy :

Responsable :

Debian QA Group (Page QA)

Ressources externes :

Page d'accueil [buddy.sourceforge.net]

Paquets similaires :

bibliothèque de diagramme de décision binaire –⋅développement

Les diagrammes de décision binaire sont des encodages compacts d'expressions booléennes ou de tables de vérité dynamiques utilisés, par exemple, pour la vérification de modèles. BuDDy est une bibliothèque de BDD efficace avec toutes les opérations standard BDD, le réordonnancement dynamique des variables, un ramasse-miettes automatique, une interface⋅C++ avec décompte de références automatique, et bien plus encore.

Libbdd-dev est le paquet de développement de BuDDy qui fournit une bibliothèque statique et les fichiers include nécessaires à la construction d'applications utilisant BuDDy.

Étiquettes: Développement de logiciel: Programmation C, Bibliothèques, Mis en œuvre en: C, Rôle: Bibliothèque de programmation

Autres paquets associés à libbdd-dev

dépendances

recommandations

suggestions

enhances

dep: libbdd0c2 (= 2.4+dfsg-2)

bibliothèque de diagramme de décision binaire –⋅exécutable
dep: libc6-dev

bibliothèque C GNU : bibliothèques de développement et fichiers d'en-têtes

ou libc-dev

Paquet indisponible

Télécharger libbdd-dev

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	297,4 ko	834,0 ko	[liste des fichiers]