我正在研究二元决策图的变量排序。到目前为止，我们一直使用不可逆电路。但不是我们需要使用可逆基准来实现一些方法。但是我没有办法使用 C 语言的 CUDD 库读取基准文件（例如 blif、kiss、slif 文件）。我已经在互联网上寻找可用的资源。有人请帮我找出办法。
有关 blif，请参阅：
https://add-lib.scce.info/assets/doxygen-cudd-documentation/bnet_8c.html
（本文的原始网址：http://vlsi.colorado.edu/~fabio/CUDD/html/bnet_8c.html#a689f42407c41e19f96d5d6d8b7129ed9）
对于其他格式，ag没有透露CUDD的消息来源中的任何提及。您可能希望使用 ABC 或 SIS。