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

[Jean-Christophe Godart]

Le 22-mars-06, à 13:04, Christian Schulte a écrit :

> 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)
>
You're right, the tests stops here:
Int::Linear::Int::Dom::Eq::000: +++++
Int::Linear::Int::Dom::Eq::001: +++++
Int::Linear::Int::Dom::Eq::002: FAILURE
         Test:       Search
         Problem:    Wrong value in solution
         Assignment: {-2,2}
-
Options: -seed 1817486846  -test Int::Linear::Int::Dom::Eq::002

FYI
Mac OS X 10.4.5 (BSD like)
PowerPC G5 single processor @ 1.8 GHz
gcc 4.0
gecode 1.0.1

Compiled the usual way :
./configure
make
sudo make install

I did recompile it with make distclean before, no changes.

BTW make install will fail installing the sym linked libs on Mac OS X 
which doesn't support cp -a
I commented out the lines in the Makefile and manually sym linked the 
libs with ln -s

> 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.
>
Hmmm, I didn't want to hurt anyone. Sorry for that, I'll change the 
comments.

Made some more test on larger grids. It's working fine (except for the 
icl dom option).
As expected, the hardest ones take 10+ min to solve.

Thanks for your help,
-- 
Jean-Christophe Godart, Belgium. http://sudoku.apinc.org/