CUDD-2.4.1在Windows下的移植

最近因为用到科罗拉多大学的BDD工具包CUDD，但是CUDD本身只适合于linux/unix环境，其在windows下不能编译。经查找网上有位老兄对CUDD-2.3.1进行了移植工作，且经过了仔细测试，所以就拿来用了，发现很好用。今天一时技痒，开始进行CUDD-2.4.1在VC6下的移植工作，发现只要按照那位老兄写的移植指南进行修改代码就没有问题，只是需要注意两点，就是CUDD-2.4.1多了个库mnemosyne，这个库带来许多问题，因为它包含了很多只有*NIX才有的头文件并且重新定义了malloc和free，所以需要单独将这个库编译为一个LIB文件，且编译的时候需要修改头文件部分，另外不可include<stdlib.h>，文件中用到的stdlib库中的函数atoi需要将代码烤过来，然后再编译。这个库编译完成之后再编译CUDD，使用的时候同时引入两个LIB文件就好。由于空闲时间不多，所以写的较简陋，以后有时间再仔细研究这个库的移植问题。