Thu, 17 Oct 2013 01:22:15 +0200 | blanchet | tuning | changeset | files |
Thu, 17 Oct 2013 01:20:40 +0200 | blanchet | verbose minimization when learning from ATP proofs | changeset | files |
Thu, 17 Oct 2013 01:10:08 +0200 | blanchet | if slicing is disabled, pick the maximum number of facts, not the number of facts in the last slice | changeset | files |