Graph
-
More work on the rule application (almost there!)Thu, 19 Jan 2017 17:02:51 +0000, by Steve Losh
-
Fix stratification orderingFri, 13 Jan 2017 15:36:51 +0000, by Steve Losh
-
Start working on the head finalization processThu, 15 Dec 2016 15:20:07 -0500, by Steve Losh
-
Implement the basic iset traversal logicThu, 15 Dec 2016 13:03:18 -0500, by Steve Losh
-
Rename the logic manager to just be the reasonerSun, 11 Dec 2016 16:32:58 -0500, by Steve Losh
-
Start sketching out the actual reasoning logicSun, 11 Dec 2016 16:25:09 -0500, by Steve Losh