Support for pure-Python ZDD implementation.

[marcofavorito]

Hi, I would like to know if support for a pure Python implementation of ZDDs is scheduled in the near future. Thanks.

[johnyf]

ZDDs are implemented in the extension module dd.cudd_zdd, which is a Cython module that interfaces to the library CUDD that is written in C. BDDs are implemented in both pure Python and with Cython interfaces to the C implementations in CUDD, Sylvan, and BuDDy.

BDDs are good. When performance is not of interest, then using either BDDs or ZDDs will probably have little difference (unless sets with a particular structure are involved). When performance is of interest, then the C implementations would be used, and both BDDs and ZDDs are available there. So I do not know when a pure-Python implementation of ZDDs will be available.

[marcofavorito]

Thanks, I'm currently using CUDD implementation of ZDDs. I need ZDDs for very advanced application, and I need to use them instead of BDDs.