Graph

less more | at revision 61: (0) -10 +10 tip

Get this thing compiling again after the arrowectomy
Sat, 21 Jan 2017 12:30:37 +0000, by Steve Losh
More work on the rule application (almost there!)
Thu, 19 Jan 2017 17:02:51 +0000, by Steve Losh
Fix stratification ordering
Fri, 13 Jan 2017 15:36:51 +0000, by Steve Losh
Start working on the head finalization process
Thu, 15 Dec 2016 15:20:07 -0500, by Steve Losh
Implement the basic iset traversal logic
Thu, 15 Dec 2016 13:03:18 -0500, by Steve Losh
Rename the logic manager to just be the reasoner
Sun, 11 Dec 2016 16:32:58 -0500, by Steve Losh
Start sketching out the actual reasoning logic
Sun, 11 Dec 2016 16:25:09 -0500, by Steve Losh
Clean up and get the rule forest generation working properly
Wed, 07 Dec 2016 17:52:35 -0500, by Steve Losh
Lots of cleanup, docstrings, comments
Thu, 24 Nov 2016 16:08:20 +0000, by Steve Losh
Clean up some package layout issues
Wed, 23 Nov 2016 11:08:33 +0000, by Steve Losh

less more | at revision 61: (0) -10 +10 tip