Hi Christian,
Thanks. That does appear to be the problem -- I was using 4.2.0, as I
mentioned in the first message in this thread. I just installed 4.2.1,
and the test with the nogoods succeeded.
Cheers,
Kish
On 26/11/2013 20:17, Christian Schulte wrote:
Hi Kish,
Which version do you use: there was a bug before 4.2.1 in the restart search
that could lead to a behavior as you describe it. 4.2.1 fixes this.
Cheers
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-----Original Message-----
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On
Behalf Of Kish Shen
Sent: Tuesday, November 26, 2013 8:22 PM
To: cschu...@kth.se; users@gecode.org
Subject: Re: [gecode-users] Nogoods limit
On 26/11/2013 19:16, Kish Shen wrote:
To test the restart DFS with nogoods, I set the nogoods_limit in the
option to 23,
Sorry, I mean I set the cutoff to 23, with the nogoods_limit set to 1000.
The
cutoff of 23 is just one below the cutoff threshold where the search is
able to
find a solution -- I assume without restart (because restarting the search
will
perform exactly the same search).
Cheers,
Kish
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
