Windows 용 이진 의사 결정 다이어그램 라이브러리

Question

jinc을 창 아래에 컴파일하고 수백 개의 컴파일러 오류가 발생하면 Windows 용 빌드 BDD 라이브러리를 찾고 있습니다. 가급적 C 또는 C++에서하지만 내가 바인딩 할 수있는 한 행복합니다.

Answer 1

Cudd이 좋은 : http://vlsi.colorado.edu/~fabio/CUDD/ 내가 비주얼 스튜디오에서 컴파일 한 것 같다 2005

에 미리 컴파일 된 바이너리 존재합니다 http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm 전직 연구원으로

, 내가 당신에게 말할 수 이년 전, Cudd는 효율성면에서 최고였습니다.

Answer 2

저는 최근에 Windows/Visual Studio 환경에서 CUDD v2.4.2를 설치하는 데 어려움을 겪었습니다.

저기에 문서가 있지만 내 의견으로는 그걸 설치하지 않고 비 유닉스 환경에서 작동시키는 방법에 대한 완전한 그림을 제공하지 못한다. 예를 들어 Makefile의 문제를 해결하는 방법, 프로젝트의 * .a C 아카이브 파일에 링크하는 방법, cpu_stats.c 파일의 사소한 문제 등이 있습니다. CUDD가 꽤 강력한 것 같기 때문에 이것은 수치스러운 일입니다 정수 프로그래밍과 같은 많은 문제에 대한 복잡성을 줄이는 방법.

나는 최근에 VS 2010에 들어갈 수있었습니다. 내 블로그 세부 사항 here.

Answer 3

Biddy 내가 Biddy의 주요 저자이기 때문에

OK http://biddy.meolic.com/,이, 주관적인 주장이다 .. 더 나은되고있다. 그러나 Biddy는 그렇게 많은 기능을 가지고 있지 않으며 은 강력하고 향상된 메모리 관리 기능을 가지고 있지 않으며 CUDD와 같이 많은 프로젝트에서 테스트를 거치지 않았으므로 실행 가능한 라이브러리입니다. 사용하면 개선 할 수 있습니다. 제 그룹은 활성이고 유연한 이며 필요한 모든 기능을 구현할 수 있습니다.