Graph
-
Plumb together all the rule tree/stratification stuffMon, 21 Nov 2016 16:52:13 +0000, by Steve Losh
-
Move all the graphviz code into its own fileMon, 21 Nov 2016 15:33:17 +0000, by Steve Losh
-
Stratify rules according to negationsSun, 20 Nov 2016 15:33:06 +0000, by Steve Losh
-
Start the individual rule treesFri, 18 Nov 2016 16:59:02 +0000, by Steve Losh