Mon, 09 Aug 2010 11:05:45 +0200 | blanchet | fiddle some more with "max_new_relevant_facts_per_iter" | changeset | files |
Mon, 09 Aug 2010 11:03:54 +0200 | blanchet | replace recursion with "fold" | changeset | files |
Mon, 09 Aug 2010 10:39:53 +0200 | blanchet | remove debugging output | changeset | files |