开发者 buddy.sf.net

二进制决策图库，带 ：许多高效的矢量化 BDD 操作，动态变量重新排序，自动垃圾收集，具有C++计数的自动接口，和更多。