Constraint solving with choco: Finding unique solutions for a variable

Asked Jul 14 '17 at 17:06

Active Sep 04 '17 at 14:09

Viewed 199 times

I'm using Choco to solve a CSP. In the beginning, I create an array of variables v like this:

IntVar[] v = new IntVar[5];

After adding several constraints, I'll search for solutions and find multiple of them. However, I want only unique solutions for e.g. v[4]. So all solutions should have a different value in the v[4] variable.

How can I achieve this?

edited Sep 04 '17 at 14:09

Phonolog

6,321
3
36
64

asked Jul 14 '17 at 17:06

RaideR

1

Add a constraint which excludes previous values for `v[4]`? – Axel Kemper Jul 14 '17 at 17:10
Do you mean that I should add a constraint, after I have found the first solution, to exclude the previous values? – RaideR Jul 14 '17 at 17:14
Yes. That is a common method to enumerate solutions. – Axel Kemper Jul 14 '17 at 20:33
That worked for me! I thought that all the constraints should be posted upfront - that was my mistake. Thank you for your help. – RaideR Jul 17 '17 at 10:05

Constraint solving with choco: Finding unique solutions for a variable

0 Answers0