Dan*_*iel 2 data-structures binary-decision-diagram
在尝试在Windows下编译jinc并快速运行数百个编译器错误之后,我正在寻找一个可以为windows构建的高质量BDD库.最好是C或C++,但只要我能绑定它,我很高兴.
And*_*yUK 5
我最近在Windows/Visual Studio环境中安装了CUDD v2.4.2.
那里有文档,但在我看来,它没有提供如何安装该东西并使其在非Unix环境中工作的完整画面.例如,如何解决Makefile的问题,如何链接到项目中的*.a C存档文件,cpu_stats.c文件的小问题等等.这很遗憾,因为CUDD看起来非常强大减少许多问题的复杂性的方法,例如整数编程.
我最近设法在VS 2010中实现了它.我的博客详情请点击此处.
归档时间：
15 年，4 月 前
查看次数：
1365 次
最近记录：
10 年，7 月 前