Paquet : libbdd-dev (2.4+dfsg-2) [debports]

[ Paquet source :  ]

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.

Autres paquets associés à libbdd-dev

• 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
  un paquet virtuel est également fourni par libc6.1-dev

  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
sparc64 (portage non officiel)	296,2 ko	881,0 ko	[liste des fichiers]