Graph
-
More plotting2017-05-25, by Steve Losh
-
Better rule tree shuffling tests2017-05-24, by Steve Losh
-
Timing support2017-05-23, by Steve Losh
-
More stat gathering2017-05-23, by Steve Losh
-
Add rule size test infrastructure2017-05-20, by Steve Losh
-
Explicitly error on grounding problems, clean up stat dumps2017-05-19, by Steve Losh
-
Add rule shuffling, new stratification procedure2017-05-17, by Steve Losh