Tue, 17 May 2016 11:16:39 +0200 | hoelzl | Library: add partition_on | changeset | files |
Tue, 17 May 2016 08:40:24 +0200 | blanchet | proper consideration of chained facts in 'try0' minimization | changeset | files |
Sat, 14 May 2016 22:00:44 +0200 | wenzelm | re-enable fact index for 'obtains' assumption (amending 5c8e6a751adc); | changeset | files |