Paquet : libbdd-dev (2.4-11 et autres)

[ Paquet source : buddy  ]

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

• dep: libbdd0c2 (= 2.4-11+b1)

  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 virtuel fourni par libc6-dev

Télécharger libbdd-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
i386	2.4-11+b1	447,1 ko	641,0 ko	[liste des fichiers]