Commit Log

commit description author date
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
Loading...