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

[Christian Schulte]

Thanks for the report, the test actually runs fine on my machine... This
looks as if we are talking a bug in your gcc (or some other part of the
software environment). Which version of gcc is it really? Could you send the
output of gcc -v?

Guido: could you try it on your mac?

Puzzled...
Christian

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

-----Original Message-----
From: Jean-Christophe Godart [mailto:jc at freesoft.be] 
Sent: Thursday, March 23, 2006 12:46 PM
To: Christian Schulte; <users at gecode.org> <users at gecode.org>
Subject: Re: [gecode-users] [Help] Killer sudoku model (newbie)



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/