> If you set the c-d parameter to 1, I think the number of clones > equals the number of nodes explored (maybe plus or minus 1 or 2 or > so...)
According to the manual, this will make the number of clones equal to the number of commits (a clone is created for every commit) -- is the number of commits equivalent to the number of nodes? Lars _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users