Arthur Godet
I think it is not really a problem that settings can be modified after the model has been created. However, maybe we could make them immutable once a call to...
Failing tests seem to come from performance issues of the Cumulative constraint (for xcsp failing test, it seems to come from a greater number of nodes, which is a bit...
Hi, Yes, it is the expected behaviour for the Task objects. However, this is something we are questionning as it can lead to true faulty behaviour, such as the one...
Hi, I will look at this in more details at the end of the week. I'll try to find a way to make it work
Il seems that adding the following code solves the problem you are having : ```java for (int i = 0; i < arrStart.length; i++) { model.arithm(arrStart[i], "+", arrDur[i], "=", arrEnd[i]).impliedBy(bv);...
Yes, filtering done by monitors (and thus by TaskMonitor) can lead to very buggy behaviours inside propagators, as not all of them have been designed to adapt to such filtering....