После попытки получить jinc, скомпилированный под окнами и быстро запущенный в сотни ошибок компилятора, я ищу качественную библиотеку BDD, которая будет строить для окон. Предпочтительно в C или C++, но пока я могу привязываться к нему, я счастлив.Бинарная библиотека диаграмм принятия решений для окон
Cudd это хорошо: http://vlsi.colorado.edu/~fabio/CUDD/ Я составил его в Visual Studio 2005.
Там, кажется, существует предварительный откомпилированные: http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm
Как исследователь бывшего, я могу вам сказать, что два года назад, Кадд был лучшим в своем классе по эффективности.
Недавно я боролся с установкой CUDD v2.4.2 в среде Windows/Visual Studio.
Существует документация, но, на мой взгляд, ничто из этого не дает полной картины того, как установить вещь и заставить ее работать в средах, отличных от Unix. Например, как решить проблемы с Makefile, как связать файлы архива * .a C в вашем проекте, незначительные проблемы с файлом cpu_stats.c и т. Д. Это позор, потому что CUDD кажется довольно мощным средства сокращения сложности для многих проблем, таких как целочисленное программирование.
Мне недавно удалось получить его в VS 2010. Мои данные в блоге here.
Бидди становится все лучше и лучше .. http://biddy.meolic.com/
ОК, это субъективное требование, потому что я являюсь главным автором Бидди. Тем не менее, в то время как у Бидди не так много функций, и нет , так это надежное и улучшенное управление памятью, и он не тестировал во многих проектах, таких как CUDD, это жизнеспособная библиотека. Используя его, вы можете улучшить его. Моя группа активна и гибка , и мы можем реализовать любую необходимую вам функцию.
Отлично, что ваш ответ содержит инструкции о том, как его построить под окнами, спасибо. – Daniel