blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49418
don't store fresh names in fact graph, since these cannot be the parents of any other facts
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49417
added MaSh to news
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49416
cached ancestor computation
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49415
minimal maxes + tuning
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49414
learn from SMT proofs when they can be minimized by Metis
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49413
clean up interesting constants a bit
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49412
convenience
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49411
name tuning
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49410
learning should honor the fact override and the chained facts
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 49409
fixed various issues with MaSh's file handling + tune output + generate local facts again + handle nameless facts gracefully