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 |