Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option to execute depth-limited computations for the values command in the predicate compiler | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | renamed functions from sizelim to more natural name depth_limited for compilation of depth-limited search in the predicate compiler | changeset | files |