Commit Log

commit description author date
8070c79ec77c Port to cl-digraph Steve Losh Sun, 06 Nov 2016 16:14:56 +0000
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