CazSaa

Fixes for algebraic cudd

2

This pull request includes several changes to the `dd/cudd_add.pyx` file. ### Changes to function definitions and error handling: * Changed the return type of `Cudd_addLeq` from `DdNode*` to `int` to...