提交软件

开发者 buddy.sf.net

  • buddy 免费

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