Model inconsistency with findMUS, but Gecode outputs a solution

31 views

Skip to first unread message

Nevena Gincheva

unread,

May 12, 2024, 7:23:00 AMMay 12

to MiniZinc

Hello,

I am testing my model and I noticed that when I run the model with Gecode 6.3.0, it seems to work perfectly (outputs a solution). However, if I run the model with findMUS without changing anything I have the following model inconsistency message:

Is this expected? I also do not see an error on the reported line, any idea what could be wrong? (I have attached the constraint that even by itself still gives an error)

(I am using MiniZinc IDE version 2.3.8, but I also tried to run from the command line and this did not change anything.)

Thank you for considering my message!

Nevena Gincheva

unread,

May 15, 2024, 7:15:17 PMMay 15

to MiniZinc

I see, I have forgotten to attach the model and the data, here it is:

Types-negative-domain.mzn

Proba-debug-model-inconsistency-findMUS.mzn

data-1_id-0-trains- (240001).json

Reply all

Reply to author

Forward

0 new messages