[gecode-users] node count

kellen at cretin.net kellen at cretin.net
Thu Jul 24 09:58:22 CEST 2014


> You access the statistics before you actually start to search. That's wrong:
> the statistics returned is always wrt the current state of the search. So,
> what you want to do is to access stat() after you do the search.

Ah, of course. That is obvious in retrospect!

Thanks!
Kellen



More information about the users mailing list