Graph
-
Start sketching out the actual reasoning logicSun, 11 Dec 2016 16:25:09 -0500, by Steve Losh
-
Clean up and get the rule forest generation working properlyWed, 07 Dec 2016 17:52:35 -0500, by Steve Losh
-
Lots of cleanup, docstrings, commentsThu, 24 Nov 2016 16:08:20 +0000, by Steve Losh
-
Clean up some package layout issuesWed, 23 Nov 2016 11:08:33 +0000, by Steve Losh
-
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