Biblioteka binarnego diagramu decyzyjnego z: wiele wysoce wydajnych wektorowanych operacji BDD, dynamiczna zmienna kolejność, automatyczne wyrzucanie elementów bezużytecznych, interfejs C++ z automatycznym zliczaniem referencyjnym, i wiele więcej.
historia wersji
- Wersja BuDDy%202.4 opublikowany na 2004-07-28
Kilka poprawek i aktualizacji - Wersja BuDDy 2.4 opublikowany na 2004-07-28
Szczegóły programu
- Kategorii: Rozwoju > Innych
- Wydawca: buddy.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 2.4
- Platformy: linux