Commit Log
| commit | description | author | date |
|---|---|---|---|
| f4a9b3af02a3 | Initial stab at the term ordering with cl-graph | Steve Losh | Sun, 06 Nov 2016 16:01:00 +0000 |
| b7c02baa4fee | Start the rule order/partitioning process | Steve Losh | Sat, 05 Nov 2016 18:01:22 +0000 |
| 7fe3a52bf1f6 | Initial stab and the head collapsing. | Steve Losh | Sat, 05 Nov 2016 12:22:36 +0000 |
| d505235f4520 | More documentation | Steve Losh | Wed, 02 Nov 2016 13:21:21 +0000 |
| 1151f5fc872e | Add some ZDD docstrings | Steve Losh | Wed, 02 Nov 2016 12:30:21 +0000 |