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
-
Add data-zdd to .hgignore.2017-05-17, by Steve Losh
-
A few more tweaks2017-05-15, by Steve Losh
-
Improve sprouting by sorting the does layer and constructing the ZDD manually2017-05-09, by Steve Losh
-
Commit and finalize the rule splitting stuff2017-05-07, by Steve Losh
-
Fix parsing to not be recursive2017-03-14, by Steve Losh
-
Add LICENSE2017-03-14, by Steve Losh
-
Commit the last week of work, lol2017-03-14, by Steve Losh
-
Clean up the ZDD reasoner API a little bit2017-03-06, by Steve Losh
-
Clean up next-iset computation API2017-02-25, by Steve Losh
-
Fix abs bug2017-02-24, by Steve Losh
-
Whitespace2017-02-23, by Steve Losh
-
Sprout some dang trees2017-02-23, by Steve Losh