[gecode-users] Nogoods limit

[Christian Schulte]

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