PROGRAMME VON buddy.sf.net

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 v