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

[Christian Schulte]

Maybe you want to try whether Gecode compiled correctly at all. To do that,
you can build and run the tests:
	make test
	./test/test.exe (or ./test/test)

Christian

PS: I am not an author of your program, maybe I hold copyright to parts but
I am definitely not the author. The easiest is always to keep the original
copyright header and write your own on top.

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mikael 'Zayenz' Lagerkvist
Sent: Wednesday, March 22, 2006 11:47 AM
To: Jean-Christophe Godart
Cc: users at gecode.org
Subject: Re: [gecode-users] [Help] Killer sudoku model (newbie)


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/

_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users