toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source :  ]

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

Liens pour libbdd0c2

Screenshot

Ressources Debian :

Télécharger le paquet source  :

Introuvable

Responsables :

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.

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
m68k (portage non officiel) 44,6 ko119,0 ko [liste des fichiers]