toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  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 :

Binary decision-diagram library (runtime)

Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library.

É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]