Как успешно запустить библиотеку cudd в окне

Question

Как успешно запустить библиотеку cudd в окне

Есть ли какая-либо схема двоичных решений (BDD), доступная в windows.i, я пытался запустить cudd в vC++6.0, которая упоминается по ссылке http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

но это не работает должным образом. я получаю ошибку компилятора при выполнении примера кода

0

binary-decision-diagram cudd

Источник

user2735847 03 сен '13 в 18:02

1 ответ

Другие вопросы по тегам binary-decision-diagram cudd

user1474399 04 сен '13 в 07:44 2013-09-04 07:44 · Answer 1 · 2013-09-04 07:44

Я скомпилировал CUDD для Windows, но использовал MinGW, а не среду Microsoft. Моей целью был этот компилятор, так как я использую Dev-C в качестве IDE.

Я сделал первую попытку, используя Cygwin, но безуспешно. Вторая попытка была с MSYS, средой для запуска команд Unix, которые поставляются с MinGW для Windows. Обратите внимание, что CUDD использует несколько библиотек POSIX (например,). К счастью, они используются только в двух второстепенных функциях: статистика процессора и своего рода форк, который я до конца не понял. Так как они мне не нужны, я просто прокомментировал часть кода (в util/cpu_stats.c).

Тогда вам нужно только написать Makefile для MinGW, чтобы связать библиотеку! Если вам это нужно, я могу отправить вам уже скомпилированную библиотеку.