Getting Started with the CU Decision Diagram (CUDD) Package for Windows
I have managed to download, uncompress and compile this library in a Visual Studio environment. At last. Though a very powerful package for the implementation of binary decision diagrams, the …