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
060160061ec6 Rename `leaf` -> `sink` Steve Losh Wed, 02 Nov 2016 12:09:20 +0000