Fixes for algebraic cudd#99

Open

CazSaa wants to merge 6 commits intotulip-control:algebraic_cuddfrom

CazSaa:algebraic_cudd

Commits on Mar 5, 2025

DRAFT: ENH: add module `dd.cudd_add`
johnyf
committed

Commits on Mar 7, 2025

BUG: fix return type of Cudd_addLeq
CazSaa
committed
BUG: render value of ADD constants in .dot graph
CazSaa
committed
remove redundant taillabels on edges
CazSaa
committed
allow .dot output
CazSaa
committed
BUG: remove erroneous shortcut in `find_or_add`
CazSaa
committed