BDD-Buddy.

BDD Buddy ist eine binäre Entscheidungsdiagrammbibliothek.
Jetzt downloaden

BDD-Buddy. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Public Domain
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Haim Cohen
  • Website des Verlags:

BDD-Buddy. Stichworte


BDD-Buddy. Beschreibung

BDD Buddy ist eine binäre Entscheidungsdiagrammbibliothek. BDD Buddy ist eine binäre Entscheidungsdiagrammbibliothek, mit: viele hocheffiziente vektorisierte BDD-Vorgänge, dynamische Variablen-Neuordnung, automatisierte Müllsammlung, eine C ++ - Schnittstelle mit automatischer Referenzzählung und vieles mehr. Das hier dargestellte BDD-Paket wurde als Teil eines Doktors vorgestellt Projekt zur Modellprüfung von Finite State-Maschinen von Jrn Lind-Nielsen. Das Paket hat sich von einer einfachen Einführung in BDDs in ein vollgeblasenes BDD-Paket mit allen Standard-BDD-Operationen, Neuordnung und einer Fülle der Dokumentation entwickelt. Das Paket ist extrem einfach zu bedienen; Für C / C +++ -Programme enthalten Sie nur "bdd.h" und verknüpft mit "BDD" und dann sind Sie auf dem Laufenden. Mit der C ++ - Schnittstelle müssen Sie nicht einmal über das Referenzzählen und die Müllkollektion nachdenken. Was in dieser Version neu ist?


BDD-Buddy. Zugehörige Software

Über uns