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: determine if a variable is present in BDD expression

I'm using CUDD library to analyze boolean expressions. After the expression is created, I have to determine if a given variable is present in the given expression. If the expression f = AB + CD where A, B, C, D are boolean variables, I need to find…
susiriss
  • 83
  • 1
  • 5
0
votes
1 answer

JavaBDD and CUDD on a 64bit Windows Machine

I have troubles getting JavaBDD working on a 64bit (Windows*) Machine with the CUDD (or BuDDy) backend. I obtained a copy of JavaBDD from here. It shipps with a number of backend 32bit .dll-s, which are useless on a 64bit JVM. Hence, I tried to…
derM - not here for BOT dreams
  • 13,081
  • 4
  • 49
  • 89
0
votes
1 answer

Turn off complement edges for BDDs in CUDD

I have looked through the online documentation for CUDD (http://web.mit.edu/sage/export/tmp/y/usr/share/doc/polybori/cudd/cuddIntro.html), a library for Binary Decision Diagrams (BDDs) but could not find a method for turning off the automatic use…
Daniel Miedema
  • 159
  • 7
0
votes
1 answer

Using multivalue DDs to solve multistate reliability quantification

@DCTLib, do you recall this discussion below? You suggested a recursive equation, which was the right approach. Cudd_PrintMinterm, accessing the individual minterms in the sum of products Now, I am considering multistate reliability, where we can…
Gui Larange
  • 61
  • 5
0
votes
1 answer

Remove variable from the manager in CUDD manager?

I am looking to remove a variable from the manager in the CUDD library. This question was asked 8 years ago in this thread without a satisfying answer. Does somebody know now?
Daniel Miedema
  • 159
  • 7
0
votes
0 answers

Multistate DDs on CUDD (Python version, tulip-DD)

For the masters of CUDD out there, I'm actually using the Python equivalent, tulip-dd: https://github.com/tulip-control/dd. I'm trying to plot the MDD, or multistate decision diagram defined by: from omega.symbolic import temporal as trl aut =…
Gui Larange
  • 61
  • 5
0
votes
1 answer

Recursive methods on CUDD

This is a follow-up to a suggestion by @DCTLib in the post below. Cudd_PrintMinterm, accessing the individual minterms in the sum of products I've been pursuing part (b) of the suggestion and will share some pseudo-code in a separate…
Gui Larange
  • 61
  • 5
0
votes
1 answer

Cudd_PrintMinterm, accessing the individual minterms in the sum of products

This is probably a question for this forum's resident CUDD/BDD expert, @DCTLib, but if other have insights, welcome of course! Consider a given minterm such as: 0--0---0--0---0----11 1 . I need to take each minterm individually and replace "1" with…
Gui Larange
  • 61
  • 5
0
votes
0 answers

cudd C++ interface. A suggestion for reading the string-formatted Boolean expressions into cudd?

A follow up to my earlier post, CUDD C++ Interface for converting Booleans to BDDs and resulting set of minterms (to cutsets). In the tulip-dd BDD lib., which runs on Python, one can define and read Boolean expressions as strings. That makes the…
Gui Larange
  • 61
  • 5
0
votes
2 answers

CUDD BDDs: building a boolean as disjunction of conjunctions but get runtime error: segmentation fault

Does anyone with experience using CUDD (not be confused with CUDA) for manipulating BDDs know why possibly I keep getting the dreaded "segmentation error (dumped core)". I suspect it could be related to referencing de-referencing which I confess I…
Gui Larange
  • 61
  • 5
0
votes
0 answers

CUDD Binary Decision Trees. Linking to libcudd.a

Does anyone on this community have experience with compiling linking the CUDD package for manipulating BDDs? Seems like a great resource if I can only compile something simple... Getting a lot of following. I am a novice with C, mainly Py guy, so…
Gui Larange
  • 61
  • 5
0
votes
1 answer

Segmentation fault in CUDD execution

For compilation I used: 1) ./configure --enable-dddmp --enable-obj --enable-shared --enable-static; make 2) gcc test.c -o testprogram -I /path/to/cudd-3.0.0/cudd -I /path/to/cudd-3.0.0/util -I /path/to/cudd-3.0.0/ -static -L…
Aadil Hoda
  • 592
  • 7
  • 17
0
votes
2 answers

CUDD package : Undefined reference during compilation

I am learning CUDD package for research purposes. I have got one sample code from which I have tried to learn the basic functionalities. But I am getting error during compilation. I have already set the paths for the header. #include…
Subhadip
  • 423
  • 8
  • 16
0
votes
1 answer

CUDD: Converting variables to outputs

I'm working with CUDD C++ and I would like to know if it is possible to do the following: For now, I have the next table stored in a bdd: |-----|-----|-----||-----| | x1 | x2 | x3 || y | |-----|-----|-----||-----| | 0 | 0 | 0 || 0 …
A.J.X
  • 55
  • 5
0
votes
0 answers

EXC_BAD_ACCESS bug

I am studying the CUDD package but crashed into the EXC_BAD_ACCESS bug in the function Cudd_DumpDot (the first line below). What happened? retval = fprintf(fp,"digraph \"DD\" {\n"); if (retval == EOF) return(0); retval = fprintf(fp,"size =…
Martinhhh
  • 1
1 2
3
4