Ioannis Filippidis

Results 195 comments of Ioannis Filippidis

givehold() call at end of plot_road_network()

The call to `givehold()` appears to be a call to the function now named `restorehold()` at: .

hello. i made a dd wrapper for bex.

Thanks for noting this. One possibility would be to add `bex` to the list of BDD packages at: , where there are sections for Rust and for Python packages. The...

Support ADDs

On branch `algebraic_cudd` there is a Cython interface to the algebraic decision diagram (ADD) implementation of CUDD. This interface is experimental. The relevant module is `dd.cudd_add`. #99 is relevant to...

Support ADDs

Yes, leaf nodes of algebraic decision diagrams in CUDD can be labeled with values of type `double`. For example, using the branch `algebraic_cudd`: ```python import dd.cudd_add as _agd agd =...

Fixes for algebraic cudd

Thank you for finding these issues, I will review the changes.