Commit Log
| commit | description | author | date |
|---|---|---|---|
| 80c4579fefce | Add ZDD package | Steve Losh | Thu, 27 Oct 2016 14:16:07 +0000 |
| b21cde7784a1 | Push rule tree head sets into leaves | Steve Losh | Thu, 13 Oct 2016 22:34:04 +0000 |
| 183f355ca260 | Initial sketch of rule trees | Steve Losh | Thu, 13 Oct 2016 22:23:47 +0000 |