cudd
In CUDD, how to force a group of variables to stay at the end of the ordering?
CUDD: how to count the number of nodes and edges of a decision diagram?
Related Links
In CUDD, how to force a group of variables to stay at the end of the ordering?
CUDD: how to count the number of nodes and edges of a decision diagram?