開發者 buddy.sf.net

二進位決策圖庫，帶 ：許多高效的矢量化 BDD 操作，動態變數重新排序，自動垃圾收集，具有C++計數的自動介面，和更多。