Windows的二进制决策图库 [英] Binary Decision Diagram library for windows

问题描述

在 jinc 在Windows下编译并快速进入数百个的编译器错误我正在寻找一个质量BDD库，将为Windows构建。最好在C或C ++中，但只要我可以绑定它，我很高兴。

解决方案

Cudd is good： a href =http://vlsi.colorado.edu/~fabio/CUDD/ =nofollow noreferrer> http://vlsi.colorado.edu/~fabio/CUDD/ 我编译了在Visual Studio 2005中。

似乎存在预编译的二进制文件： http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

$ b $作为一名前研究人员，我可以告诉你，两年前，Cudd在效率方面是最好的。

After trying to get jinc compiled under windows and quickly running into hundreds of compiler errors I'm looking for a quality BDD library that will build for windows. Preferably in C or C++ but as long as I can bind to it I'm happy.

解决方案

Cudd is is good : http://vlsi.colorado.edu/~fabio/CUDD/ I have compiled it in Visual Studio 2005.

There seems to exist pre compiled binaries : http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

As an ex researcher, I can tell you that two years ago, Cudd was the best in class regarding efficiency.

这篇关于Windows的二进制决策图库的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！