cudd

cudd copied to clipboard

rename fail to fail_msg

appu226

build: Remove an implicit int

1

Both clang and gcc will default to treating this as an error in upcoming releases.

tbaederr

C++ interface functions

1

Hi, @ivmai I've been using the cudd classic (in C), but wanted to try the C++ because of the much greater facility in constructing Boolean functions. I've been using it...

glarange

Storing BDD in a file.

1

Hello, I am using CUDD package for creating BDD from the given benchmark and then storing that BDD in a file, for one of my projects. I have created the...

AadilHoda1

cuddexport.c is missing a good Dot File Tree Dump...

1

There is no good dot tree dump for cudd... I wrote this one several years ago... Please include the following function to cuddexport.c in the cudd.h file include the following.....

tezozomoc