gpt4 book ai didi

data-structures - Windows 的二元决策图库

转载 作者:行者123 更新时间:2023-12-03 23:38:05 25 4
gpt4 key购买 nike

在尝试获取 jinc 之后在 windows 下编译并迅速遇到数百个编译器错误 我正在寻找一个将为 windows 构建的高质量 BDD 库。最好使用 C 或 C++,但只要我能绑定(bind)到它,我就很高兴。

最佳答案

我最近努力在 Windows/Visual Studio 环境中安装 CUDD v2.4.2。

那里有文档,但在我看来,它们都没有给出如何安装这个东西并让它在非 Unix 环境中工作的完整图片。例如,如何解决 Makefile 的问题,如何链接到项目中的 *.a C 存档文件,cpu_stats.c 文件的小问题等。这很遗憾,因为 CUDD 似乎非常强大降低许多问题复杂性的方法,例如整数规划。

我最近设法让它在 VS 2010 中运行。我的博客详细信息 here .

关于data-structures - Windows 的二元决策图库,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3411283/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com