blanchet [Thu, 31 Jan 2013 18:04:19 +0100] rev 52197
compile
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52196
also have SMT solvers alternate fact filter
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52195
use the right filter in each slice
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52194
tuned slices
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52193
store fact filter along with ATP slice
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52192
tuned data structure
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52191
thread through fact triple component from which used facts come, for accurate index output
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52190
more precise output of selected facts
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52189
thread fact triple (MeSh, MePo, MaSh) to allow different filters in different slices
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 52188
simplified SMT solver code in Sledgehammer