DependencyInstaller.sh unnecessarily recompiles cudd

[akiles-esta-usado]

Describe the bug

The script downloads and compiles cudd even if it's already installed

line 161 has

if [[ ! -d ${cuddPrefix}/include/cudd.h ]]; then

Expected Behavior

It should identify library existence and doesn't recompile it

line 161 should indentify a file, not a directory

if [[ ! -f ${cuddPrefix}/include/cudd.h ]]; then

Environment

Not required

To Reproduce

Not required

Relevant log output

No response

Screenshots

No response

Additional Context

No response