Описание тега cudd

Вопросы с тегом
The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs).
1 ответ

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

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

Как читать Обратимые Тесты, используя библиотеку CUDD

Я работаю над изменением порядка двоичной диаграммы решений. До сих пор мы использовали необратимые схемы. Но не нам нужно использовать Reversible Benchmarks для реализации некоторых методов. Но я не получаю никакого способа читать файлы тестов (нап…
28 окт '17 в 13:31
0 ответов

CUDD: конвертировать BDD в (минимальную) нормальную форму

Я пытаюсь экспортировать существующий BDD в виде строки логического выражения. В идеале я хотел бы получить строку минимальной длины или минимальную нормальную форму, но я предполагаю, что это сама по себе сложная проблема. Вы знаете способ конверти…
19 авг '16 в 14:50
2 ответа

Пакет Cudd: бинарные диаграммы

Может кто-нибудь указать хороший материал на упаковке Cudd. Я ищу какой-то краткий вопрос здесь. Тот, что на http://vlsi.colorado.edu/~fabio/CUDD/, похоже, не дает хорошего представления об этом. Любые видео лекции, касающиеся BDD и его применения п…
14 май '11 в 10:23
1 ответ

Кадд: извлечение переменной порядка

Я пытаюсь использовать эвристику упорядочения CUDD для другой программы. Я создал BDD, попробовал несколько переменных порядка, чтобы увидеть, какой из них минимизирует размер, и теперь я хочу извлечь порядок переменных. Как я могу это сделать? Согл…
29 ноя '17 в 07:10
1 ответ

CUDD: доступ к детям BDD

Я работаю с CUDD C++ интерфейсом. Я не нахожу много информации об этой библиотеке. Как я могу получить двух детей от BDD? Например: Cudd mgr; BDD x = mgr.bddVar(); BDD y = mgr.bddVar(); BDD f = x * y; Теперь, с е, я хочу получить своего тогдашнего р…
07 дек '17 в 22:04
0 ответов

Диаграмма решения для логической функции с несколькими выходами в CUDD

Я знаю, что CUDD поддерживает ADD (Алгебраические Диаграммы Решений), но я не могу понять, как я могу использовать ADD для нескольких выходных логических функций. ADD для таких функций должен иметь несколько листов, каждый из которых представляет ло…
17 июл '17 в 06:05
2 ответа

Представление BDD в CUDD без упрощения

Можно ли получить bdd для (x0 ∧ x1) ∨ (x0 ∧! X1) ∨ (! X0 ∧ x1) ∨ (! X 0 ∧! X 1), в котором все еще есть узлы, представляющие переменные x0 и x1, используя CUDD? Я знаю, что приведенная выше логическая формула упрощает константу до функции 1. Но я вс…
04 июн '18 в 11:44
1 ответ

Настройка CUDD 2.5.1 в Windows с использованием cygwin

При установке CUDD 2.5.1 с использованием cygwin в командной строке появляется следующее сообщение: sh ./setup.sh make: sh: команда не найдена Makefile:224: рецепт для цели 'build' не выполнен make *** [build] ошибка 127 Я сохранил обе директории CU…
28 авг '15 в 15:34
1 ответ

Неожиданный вывод Cudd_bddIte

Я пытаюсь использовать Cudd_bddIte реализовать простые BDD. Следующий код работает, как и ожидалось, давая диаграмму на рисунке (который представляет узел bdd): DdNode *v1 = Cudd_bddNewVar(gbm); Cudd_Ref(v1); DdNode *v2 = Cudd_bddNewVar(gbm); Cudd_R…
14 сен '18 в 18:48
0 ответов

GNU LD (Mac) не работает, сбой команды компоновщика с кодом ошибки 1

У меня есть следующая проблема с моим LD. $ ld ld: warning: -arch not specified ld: warning: -macosx_version_min not specified, assuming 10.9 ld: no object files specified for inferred architecture x86_64 Что мне делать? Я получил следующие ошибки п…
06 ноя '15 в 18:18
2 ответа

CUDD сумма произведений логическое выражение

Я хотел бы создать BDD для следующей логической функции: F = (A'B'C'D') OR (A'B C) OR (C' D') OR (A) Мне удалось создать только F = (A'B'C'D') с помощью следующего кода, но как добавить другие термины продукта в существующий BDD? int main (int argc,…
08 апр '16 в 10:09
1 ответ

Место чтения нарушения доступа с использованием Cudd

Я пытаюсь реализовать алгоритм в Visual C с использованием пакета Cudd. Я должен использовать функцию рекурсивно. Но он продолжает выдавать ошибку в одной конкретной строке. Ошибка: адрес чтения нарушения доступа 0x00594a5ct. И это идет против испол…
10 окт '13 в 08:24
2 ответа

Сделайте так, чтобы printf появился в stdout из библиотеки общих объектов

В настоящее время я использую PyCUDD, который является SWIG-генерируемой оболочкой Python для C-пакета CUDD. В настоящее время я пытаюсь заставить CUDD напечатать некоторую отладочную информацию изнутри кода C, но кажется, что любые printfs внутри к…
02 янв '18 в 16:41
1 ответ

Пакет CUDD: проблемы компиляции и makefile

Я пытаюсь запустить простую программу, чтобы узнать, как использовать пакет CUDD версии 3.0.0. Я скачал пакет и установил его: ( 1- ./configure 2- make 3- make check). Я создал следующую простую программу: #include <stdio.h> #include "cudd.h" …
08 мар '17 в 17:48
2 ответа

CUDD: как посчитать количество узлов и ребер диаграммы решения?

У меня есть указатель на корневой узел схемы принятия решений CUDD, скажем, DdNode * root Как я могу получить количество узлов и ребер, составляющих это дерево решений?
23 янв '15 в 01:29
0 ответов

Cudd_BDD опорное значение нулевого узла

Я использую пакет Cudd http://vlsi.colorado.edu/~fabio/CUDD/ Сначала я получил сообщение об ошибке "Число мертвых!= Удалено", поэтому я начал отладку и столкнулся с проблемой, которую не могу понять. Следующий код принимает в качестве входных данных…
28 апр '14 в 15:48
1 ответ

Ошибка компиляции C++: ожидаемый неквалифицированный идентификатор перед маркером '{'

Я использую: g++ -std=c++0x компилятор Я разрабатываю какой-то проект с использованием пакета Cudd http://vlsi.colorado.edu/~fabio/CUDD/ и я хотел кешировать некоторые результаты, так что вот мой кеш-код C++ lrucache.h #ifndef __LRUCACHE_H_ #define …
29 апр '14 в 12:43
2 ответа

Анализатор логических выражений для CUDD

Я использую библиотеку CUDD на C для создания бинарных диаграмм решений. Мне было интересно, есть ли какой-нибудь способ преобразовать логическое выражение, заданное в виде строки, в двоичную диаграмму решений. Спасибо!
10 июл '15 в 16:23
1 ответ

CUDD с использованием not-gate

Я пытаюсь построить BDD для монотонного умножения и нужно использовать отрицание входных битов. Я использую следующий код: DdNode *x[N], *y[N], *nx[N], *ny[N]; gbm = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0); /* Initialize a new BDD manage…
30 дек '18 в 17:15