MDD global constraint with transitions

[IgnaceBleukx]

Hi,

I'm attempting to post an MDD constraint to the Choco solver from Python, but I would like to define the MDD using the transitions explicitly.
There are some MDD-related endpoints in the API, but I'm unsure on how to use them.

To post the MDD constraint, I need to use model.mddc, but that constraint takes as its second argument a MultiValueDecisionDiagram instance.
Now, to make the MDD object, I can use the Python object directly, but that only accepts tuples in the constructor.
I also found the create_mdd_transitions function, but that does not return a MultiValueDecisionDiagram instance, so as far as I understand, it cannot be used to post the MDD constraint itself?

Could you give some advice on how to proceed with this?

Kind regards,
Ignace

[cprudhom]

Hi,

Here is a model declaring an MDD:

m = Model()
intvars = m.intvars(3, 0, 1)
tuples = [[0, 0, 0], [1, 1, 1]]
m.mddc(intvars, MultivaluedDecisionDiagram(intvars, tuples)).post()

Note that there are other params in the __init__ method of MultivaluedDecisionDiagram.

def __init__(
    self,
    intvars: List["IntVar"],
    tuples: List[List[int]],
    compact: str = "NEVER",
    sort_tuple=False,
    uvalue: int = None,
):

Currently, there are no other ways to define an MDD in (py)choco