Commit Log
| commit | description | author | date |
|---|---|---|---|
| fe02d26f331f | Plumb together all the rule tree/stratification stuff | Steve Losh | Mon, 21 Nov 2016 16:52:13 +0000 |
| addb56e3eb9d | Move all the graphviz code into its own file | Steve Losh | Mon, 21 Nov 2016 15:33:17 +0000 |
| 37e64253cccf | Stratify rules according to negations | Steve Losh | Sun, 20 Nov 2016 15:33:06 +0000 |