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 documentation for its actual set-up for non-Unix environments seems a little sketchy and somewhat intimidating for the beginner.