Eine Binary Decision Diagram Bibliothek, mit: viele hocheffiziente vektorisierte BDD-Operationen, dynamische variable Neuordnung, automatisierte Müllabfuhr, eine C++-Schnittstelle mit automatischer Referenzzählung, und vieles mehr.
VERSIONSVERLAUF
- Version BuDDy%202.4 veröffentlicht auf 2004-07-28
Mehrere Korrekturen und Updates - Version BuDDy 2.4 veröffentlicht auf 2004-07-28
Programmdetails
- Kategorie: Entwicklung > Andere
- Verlag: buddy.sf.net
- Lizenz: kostenlos
- Preis: N/A
- Version: 2.4
- Plattform: linux