Query about Limdd Support in Python Package

[gcc-bug]

Hello everyone,

I have a question regarding the Python package. Is it currently supporting LIMDD (Labelled Interval Decision Diagrams) as described in this paper: LIMDD Paper?

I noticed that there is a branch named 'limdd,' but I couldn't find any information about it in the main branch. Could someone please clarify if LIMDD support has been integrated into the package or if it's available separately in the 'limdd' branch?

Thank you for your assistance.