toutes les options
wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Paquet source : buddy  ]

Paquet : libbdd0c2 (2.4-8)

Liens pour libbdd0c2

Screenshot

Ressources Debian :

Télécharger le paquet source buddy :

Responsable :

Ressources externes :

Paquets similaires :

bibliothèque de diagramme de décision binaire –⋅exécutable

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. Il s'agit du paquet d'exécution pour les programmes qui utilisent la bibliothèque BuDDy.

Étiquettes: Développement de logiciel: Programmation C, Bibliothèques, Mis en œuvre en: C, Rôle: role::devel-lib, role::shared-lib

Autres paquets associés à libbdd0c2

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libbdd0c2

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 62,8 ko152,0 ko [liste des fichiers]
armel 56,7 ko164,0 ko [liste des fichiers]
armhf 51,5 ko108,0 ko [liste des fichiers]
i386 54,3 ko160,0 ko [liste des fichiers]
ia64 83,5 ko368,0 ko [liste des fichiers]
kfreebsd-amd64 62,9 ko152,0 ko [liste des fichiers]
kfreebsd-i386 54,2 ko130,0 ko [liste des fichiers]
mips 54,9 ko196,0 ko [liste des fichiers]
mipsel 54,4 ko196,0 ko [liste des fichiers]
powerpc 59,8 ko192,0 ko [liste des fichiers]
s390 64,0 ko188,0 ko [liste des fichiers]
s390x 66,2 ko178,0 ko [liste des fichiers]
sparc 56,9 ko176,0 ko [liste des fichiers]