[gecode-users] Nogoods limit

[Kish Shen]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On
>> Behalf Of Kish Shen
>> Sent: Tuesday, November 26, 2013 8:22 PM
>> To: cschulte at kth.se; users at 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 at gecode.org
>> https://www.gecode.org/mailman/listinfo/gecode-users
>