Mon, 30 May 2011 17:00:38 +0200 | blanchet | document new explicit apply | changeset | files |
Mon, 30 May 2011 17:00:38 +0200 | blanchet | made "explicit_apply" smarter -- no need to force explicit applications in minimizer on all constants, better do it more fine granularly | changeset | files |
Mon, 30 May 2011 17:00:38 +0200 | blanchet | don't slice if there are too few facts | changeset | files |