提交软件

开发者 bddcompression.sf.net

  • BDD compression 免费

    在许多情况下，压缩和解压缩二进制决策图的算法会将 BDD 的大小减小到每个节点 1-2 位。