Stack Overflow
Stack Overflow

Questions tagged [cudd]

The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs).

58 questions
0
votes
0 answers

Cudd Statistics, low hits, high collision

I am using Cudd_PrintInfo to solve the performance problem with CUDD. After printing out the statistics, I found out that the hits are very low. I tried with and without garbage collection but it remains the same. Also, the collisions are…
Xing Ying Chen
  • 11
  • 3
0
votes
1 answer

"same" values appear in the leaf in an ADD

In my ADD computation, I often have repeated values in the leaves. Should they be automatically compressed? For example: -0-0-- 191.452 -0-1-- 191.452 -1-0-- 191.452 -1-1-- 191.452 One guess is that they have different mantissa which is not…
Xing Ying Chen
  • 11
  • 3
0
votes
2 answers

Make printf appear in stdout from shared object library

I am currently using PyCUDD, which is a SWIG-generated Python wrapper for the C package CUDD. I'm currently trying to get CUDD to print some debug information from inside the C code, but any printfs inside the C code don't seem to be producing any…
Corey Fisher
  • 3
  • 3
0
votes
1 answer

Cudd: extracting variable ordering

I'm trying to leverage CUDD's variable ordering heuristics for another program. I have created a BDD, tried a few variable orderings to see which one minimizes the size, and now I want to extract the variable ordering. How can I do this? According…
Jun Inoue
  • 544
  • 1
  • 4
  • 9
0
votes
1 answer

How to read Reversible Benchmarks using CUDD library

I am working on variable ordering of binary decision diagram. Till now we have used non reversible circuits. But not we need to use Reversible Benchmarks to implement some methods. But I am not getting any way to read benchmark files(ex. blif, kiss,…
R.snail
  • 1
  • 1
0
votes
0 answers

CUDD: convert BDD into (minimal) normal form

I am trying to export an existing BDD as a Boolean expression string. Ideally I would like a minimal length string or minimal normal form but I am guessing that this is a hard problem itself. Do you know a way to convert BDDs into short strings?…
Leevi L
  • 1,538
  • 2
  • 13
  • 28
0
votes
1 answer

Intersection of two BDDs using CUDD

I would like to find intersection of two BDDs for the following two Boolean functions: F=A'B'C'D'=1 G=A XOR B XOR C XOR D=1 Here is my code: int main (int argc, char *argv[]) { char filename[30]; DdManager *gbm; /* Global BDD…
husna
  • 187
  • 6
0
votes
0 answers

gnu ld (mac) not working, linker command fail with error code 1

I have the following problem with my 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 What shall I do? I got the following errors…
Robert White
  • 125
  • 1
  • 5
0
votes
1 answer

Setting up CUDD 2.5.1 on Windows using cygwin

I am getting the following message while setting up CUDD 2.5.1 using cygwin on the command prompt: sh ./setup.sh make: sh: command not found Makefile:224: recipe for target 'build' failed make *** [build] error 127 I have saved both the directories…
mehzabin
  • 1
  • 3
0
votes
2 answers

CUDD: how to count the number of nodes and edges of a decision diagram?

I have a pointer to the root node of a CUDD decision diagramm, say DdNode * root How can I retrieve the number of nodes and edges composing this decision tree?
Dan
  • 1,539
  • 12
  • 23
0
votes
1 answer

How to successfully run cudd library in window

is there any Binary Decision diagram (BDD) is available in windows.i tried to run cudd in vc++6.0..which is mention link http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm but it isn't working properly.i get compiler error while running a…
user2735847
  • 1
  • 2
-1
votes
2 answers

How to copy a structure with pointers to data inside?

I am using the CUDD package for BDDs manipulation. I want to make a copy for a big data structure in it that is called the DdManager. The problem is : this data structure has so many pointers inside it , so when I make a direct copy it is a…
user1489488
-3
votes
1 answer

C++ compilation error: expected unqualified-id before ‘{’ token

I'm using: g++ -std=c++0x compiler I'm developing some project using Cudd package http://vlsi.colorado.edu/~fabio/CUDD/ and I wanted to cache some results so here is my cache c++ code lrucache.h #ifndef __LRUCACHE_H_ #define __LRUCACHE_H_ #include…
user3060396
  • 163
  • 1
  • 1
  • 5
1 2 3
4