Как читать Обратимые Тесты, используя библиотеку CUDD

Question

Я работаю над изменением порядка двоичной диаграммы решений. До сих пор мы использовали необратимые схемы. Но не нам нужно использовать Reversible Benchmarks для реализации некоторых методов. Но я не получаю никакого способа читать файлы тестов (например, blif, kiss, slif файлы), используя библиотеку CUDD на языке Си. Я искал доступные ресурсы в Интернете. Кто-нибудь, пожалуйста, помогите мне найти способ.

Answer 1

Для blif, см.: http://vlsi.colorado.edu/~fabio/CUDD/html/bnet_8c.html

Для других форматов ag не обнаружил никаких упоминаний в источниках CUDD. Вы можете использовать ABC или SIS.