Sat, 02 Feb 2013 17:25:55 +0100 | blanchet | tune slices further | changeset | files |
Sat, 02 Feb 2013 10:13:14 +0100 | blanchet | tweak ATP slices further | changeset | files |
Thu, 31 Jan 2013 18:04:19 +0100 | blanchet | compile | changeset | files |
Thu, 31 Jan 2013 17:54:05 +0100 | blanchet | also have SMT solvers alternate fact filter | changeset | files |
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 |