[eclipse-clp-users] search tree node count

From: Lars Kotthoff <larsko_at_cs.st-andrews.ac.uk>
Date: Wed, 7 Jan 2009 11:08:22 +0000
Dear list,

 is there a general, preferably easy, way of getting the number of search tree
nodes explored when searching for the solution to a problem?

Thanks,

Lars
Received on Wed Jan 07 2009 - 11:08:30 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET