The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs).
Questions tagged [cudd]
58 questions
1
vote
0 answers
memory management with cudd package
I have a memory problem with the cudd package. I've modified cudd to support custom constant nodes, for example some expression of the form (op x y), by adding a new field in the DdNode's type union.
I wrote a function that transforms a constant…
farmerzhang1
- 41
- 1
- 4
1
vote
1 answer
BLIF input to graph output (both textual and picture)
I have only recently started with CUDD.
I have a circuit in BLIF format and I want to input it to CUDD with which I understand it's going to give me the BDD and I want the ZDD too.
I have read through the readme file, but for the life of me, I can't…
user12928042
1
vote
2 answers
Error in Passing Boolean Expression in CUDD (Working in BuDDy)
I am trying to find total no of nodes in a Shared-BDD using CUDD.
I have already written C Code using BuDDy-2.4 and it is running fine But when i am using CUDD instead of BuDDy, My program is showing error.
My BuDDY C File is:
//BuDDY_C Code for…
user1868625
- 11
- 1
1
vote
1 answer
Intersection of BDD/ZDD using CUDD
I have some sets of combinations and I want to find out the intersection function between say two of them. Then I want to represent the intersected results in ZDD.
I am thinking about using the CUDD package to do this.
An example:
All the 4-bit…
zaki
- 27
- 1
- 2
- 7
1
vote
1 answer
CUDD using not-gate
I am trying to build a BDD for monotone multiplication and need to use the negation of the input bits.
I am using the following code:
DdNode *x[N], *y[N], *nx[N], *ny[N];
gbm = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0); /* Initialize a…
Yosi Ben-Asher
- 41
- 2
1
vote
1 answer
Unexpected output of Cudd_bddIte
I'm trying to use Cudd_bddIte to implement simple BDDs.
The following code works as expected, giving the diagram in the picture (which represents node bdd):
DdNode *v1 = Cudd_bddNewVar(gbm);
Cudd_Ref(v1);
DdNode *v2 =…
0x5C91
- 3,360
- 3
- 31
- 46
1
vote
2 answers
CUDD: Access BDD childs
I'm working with CUDD C++ interface.
I'm finding not much information about this library.
How can I get the two children of a BDD?
For example:
Cudd mgr;
BDD x = mgr.bddVar();
BDD y = mgr.bddVar();
BDD f = x * y;
Now, with f, I want to get its then…
Marc
- 19
- 5
1
vote
1 answer
CUDD package : problems compile and makefile
I'm trying to run a simple program to learn how to use the CUDD package version 3.0.0. I downloaded the package and installed it: ( 1- ./configure 2- make 3- make check).
I created the following simple program :
#include
#include…
kafka
- 949
- 12
- 27
1
vote
0 answers
In CUDD, how to force a group of variables to stay at the end of the ordering?
I have two sets of variables A, B. I would like to enable reordering but ensure that at all times variables A appear before the variables of B.
I also want to allow reordering within A, and within B.
(I know how to create two groups A and B with…
cankosa
- 43
- 3
1
vote
2 answers
CUDD sum of products Boolean expression
I would like to create BDD for the following Boolean function:
F = (A'B'C'D') OR (A'B C) OR (C' D') OR (A)
I managed to create only F = (A'B'C'D') with the following code but how to add other product terms to the existing BDD?
int main (int argc,…
husna
- 187
- 6
1
vote
2 answers
Boolean Expression Parser for CUDD
I am using the CUDD library on C for making Binary Decision Diagrams. I was wondering if there is some way to convert a Boolean expression given as a string to a Binary Decision Diagram.
Thank you!
ashishbaghudana
- 389
- 2
- 4
- 13
1
vote
2 answers
CUDD package : Way to pass a specific variable order?
I am working with the CUDD package to do BDD manipulations. I was wondering if anyone knows of a way to pass a specific variable order to instruct the program to use this order while building BDDs. I am working with Boolean functions that have a…
Meg
- 13
- 2
1
vote
1 answer
Access violation reading location using Cudd
I am trying to implement an algorithm in Visual C using Cudd package. I have to use a function recursively. But it keeps throwing an error at one particular line. Error is Access violation reading location 0x00594a5ct. And it is coming against the…
Mohit Jain
- 733
- 3
- 9
- 24
1
vote
1 answer
Get all the variables of BDD after doing compute image by CUDD (C interface)
I am stuck on the operation on BDD of CUDD (C interface), I don't know if we can remove some variables when doing compute image (from a state to another state of BDDs) and how to travel the result BDD (final BDD) to get all the variable, could…
Trúc Nguyễn Lâm
- 371
- 2
- 9
0
votes
0 answers
What am I missing trying to call gcc-compiled code from MSVC?
My C/C++ perks are a bit rusty. Last time I have used them like 30 year ago :)
I have CUDD library built from sources at Win10 using MINGW64 environment from MSYS2.
git clone https://github.com/ivmai/cudd.git
cd cudd
autoreconf -f -i
mkdir build
cd…
Anton Krouglov
- 3,077
- 2
- 29
- 50