choco-solver

Dear all, I am using the XCSP3 Choco parser command line utility to solve my XCSP3 problem instance,

Hi, a possibly extreme edge case, perhaps, with Choco-solver 4.10.18, on a Windows 11 machine. I'

We have created a process with multiple additional constraints. Is there any way to identify which

Hello Sorry, I missed your question. Actually, you can extend Choco with new variables, but that

Hello You can have a look at Table constraints which fit your need. Then, performance issues also

Hi Juha Indeed, I changed the way propagators are stored in variables to better deal with entailed

Hi No, you can't. CP is intrinsically sequential. Some parts can be parallelized, but it seems

Hi Juha Hope you are doing well. Indeed, the documentation is not correct, it has to be fixed. The

Excellent, thanks for the prompt response! --Chouser On Wednesday, October 5, 2022 at 5:02:07 AM UTC-

I think you can do it like this, using expressions: // implies(and(eq(nameAh, honest), eq(setX[i],

Hi I suppose you are using the right Jar file (or the right code). If you get a copy of 4.10.9 jar +

Hi, The timer is related to the fist call to `solver.solve()`, that is when the resolution starts.

Hello everyone! I work on a set covering problem, I understand the mathematical model I need to use

Hello Team, Choco solver and Ibex installation was success . But when I try to run the real variable

Hi, Sorry for the late answer, the mail notifications from the Google group were in my spam filter.

1. In Eclipse (I am using 2021-12, v 4.22.0) , create a new project (eg CS4626) Select the project (

Hi everyone I have few questions. - What heuristic does choco use in the search tree ? - How to

Hi, I am new to Choco. I wonder if there is any method that retrieves unsatisfied/inconsistent

Thanks! Yes, that helps. These are good news, as choco being deterministic was one of my main

You can declare a second strategy over all variables, that will do the job. Indeed, A will be

Hi Did you find out how to achieve this finally ? CP Le lundi 4 janvier 2021 à 20:12:09 UTC+1,

Hi Juha, I completely forgot to answer you. Did you finally find out how to install Ibex? Best

Hi I suppose you change domain size because in your case you should have {0...5} for both variables.

Hi, I would do that: model.ifThenElse( model.arithm(xIn[j][i],"=",0), model.and( model.

@Mohamed choco-solver is a library that requires some other librairies as dependencies. You have no

Hello Dilly Day Your problem is in this instruction: model.scalar(new IntVar[]{X,Y}, new int[]{3,4}).

Hi, I suppose `model.sum(col, ">=", demandV[i]).post(); // columns` (not <=) is what

Ok, thank you. I'll check which is easiest for me : develop some cut-branch specific algo to my

Hi Charles! Thank you for your efforts! No, I am not using the regular constraint (regular,

Hi everyone Does anybody has an example of how to use the constraint multicost-regular in Choco 4.10