Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
22761 of 82199 results First • • • Last
22761.
Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more.
 
Description
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.
Translated by Michael Vogt
Located in Package: libbdd-dev
22761 of 82199 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.