Thu, 31 Jan 2013 17:54:05 +0100 | blanchet | use the right filter in each slice | changeset | files |
Thu, 31 Jan 2013 17:54:05 +0100 | blanchet | tuned slices | changeset | files |
Thu, 31 Jan 2013 17:54:05 +0100 | blanchet | store fact filter along with ATP slice | changeset | files |