[gecode-users] Nogoods limit

[Kish Shen]

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