[gecode-users] [Help] Killer sudoku model (newbie)

[Mikael 'Zayenz' Lagerkvist]

On 3/22/06, Jean-Christophe Godart <jc at freesoft.be> wrote:
> I must have made something wrong since it does not find a solution (and
> I know there is a unique one)
>
> Source file is here
> http://sudoku.apinc.org/killer.cc

I tried the program on my computer (Linux, amd64, gcc 4.0, gecode
[svn, 1.0.1, 1.0.0]) and it finds the unique solution without problem.
Also, as far as I can see, your program looks fine. So I'm sorry to
say that I can't find the problem.

Cheers
Mikael

PS. For larger examples, you might not want to use linear() with
ICL_DOM, since it has exponential complexity.

--
Mikael 'Zayenz' Lagerkvist, http://www.imit.kth.se/~zayenz/