CUDDSharedMTBDD: Means to carry out variable renaming and variable trimming - Githubissues

ondrik-research-archived / libsfta

Symbolic Finite Tree Automata library

GNU General Public License v3.0

4 stars 1 forks source link

CUDDSharedMTBDD: Means to carry out variable renaming and variable trimming #10

Closed ondrik closed 14 years ago

ondrik commented 14 years ago

Done