0
CUDD의 변수 순서 지정 휴리스틱을 다른 프로그램에 활용하려고합니다. BDD를 만들었고 몇 가지 변수 순서를 시도하여 어느 것이 크기를 최소화하는지 확인한 다음 변수 순서를 추출하려고합니다. 어떻게해야합니까?Cudd : 변수 순서 지정
this answer에 따르면 dd python 패키지는 각 변수의 수준을 검사 할 수있는 방법을 제공하지만 C/C++ 인터페이스에서 해당 기능을 볼 수 없습니다. 파이썬 바인딩은 어떻게 그것을 제거합니까? cuddInt.h 통해 CUDD 내부에 액세스해야합니까?