结果1至3三
排序依据：

  • 卡德
  • 参考文献148篇[sw04446]
  • CUDD包提供操作二进制文件的函数。。。

  • 风车
  • 参考7篇文章[sw08199]
  • Sycraft（符号合成器和加法器断层-公差...

  • BDD低
  • 参考6篇文章[sw08898号]
  • BDDNOW：一个并行的BDD包。BDDs（二进制决策。。。