Programy według buddy.sf.net

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 refe