Commit Log

commit description author date
fc378d24dd2f Make zdd union a bit cleaner default tip Steve Losh 2017-05-30
490f2915466f More plotting Steve Losh 2017-05-25
2ad170fcb598 Better rule tree shuffling tests Steve Losh 2017-05-24
50011302bb36 Timing support Steve Losh 2017-05-23
60c18fdad2b8 More stat gathering Steve Losh 2017-05-23
b79af8708c02 Add rule size test infrastructure Steve Losh 2017-05-20
47c967fea4c7 Explicitly error on grounding problems, clean up stat dumps Steve Losh 2017-05-19
fd5861c11c5f Add rule shuffling, new stratification procedure Steve Losh 2017-05-17
374014ff34a9 Add data-zdd to .hgignore. Steve Losh 2017-05-17
4c2306e08ed1 A few more tweaks Steve Losh 2017-05-15
a3e8fc8cad53 Improve sprouting by sorting the does layer and constructing the ZDD manually Steve Losh 2017-05-09
77a187682a5d Commit and finalize the rule splitting stuff Steve Losh 2017-05-07
3f23f6b95cac Fix parsing to not be recursive Steve Losh 2017-03-14
49fd0e0e0c80 Add LICENSE Steve Losh 2017-03-14
3777bd117949 Commit the last week of work, lol Steve Losh 2017-03-14
016dd6d5f764 Clean up the ZDD reasoner API a little bit Steve Losh 2017-03-06
3c9facf27dea Clean up next-iset computation API Steve Losh 2017-02-25
a11739a2b4ef Fix abs bug Steve Losh 2017-02-24
5c19b4bd3200 Whitespace Steve Losh 2017-02-23
4f75ef150e1b Sprout some dang trees Steve Losh 2017-02-23