Is the found solution deterministic?

[Tibor Toepffer]

Hi,

I want to use choco to solve a problem that has multiple correct results. But I want to get the same result on each clear run on every machine!

So will the first found solution be always the same, or do I have to add some objectives to archive this determinism?

Thanks for replies!

[cpru...@gmail.com]

Dear Tibor

Choco-solver is designed to be deterministic. 

If that's not the case, that could either comes from an error or the selection of a non deterministic search strategy (like random var dom with undefined seed).

Hope that helps,

CP

[Tibor Toepffer]

Thanks! Yes, that helps. 

These are good news, as choco being deterministic was one of my main criteria. Now I'm good to go for my first portion of choco!