Commit Log

commit description author date
a3e8fc8cad53 Improve sprouting by sorting the does layer and constructing the ZDD manually Steve Losh Tue, 09 May 2017 12:37:41 +0000
77a187682a5d Commit and finalize the rule splitting stuff Steve Losh Sun, 07 May 2017 16:05:34 +0000