Commit Log

commit description author date
26a5a69dc3f9 More work on the rule application (almost there!) Steve Losh Thu, 19 Jan 2017 17:02:51 +0000
cc9330259660 Fix stratification ordering Steve Losh Fri, 13 Jan 2017 15:36:51 +0000
4843f09b50f6 Start working on the head finalization process Steve Losh Thu, 15 Dec 2016 15:20:07 -0500
41b2461432fc Implement the basic iset traversal logic Steve Losh Thu, 15 Dec 2016 13:03:18 -0500
51bc78b22d98 Rename the logic manager to just be the reasoner Steve Losh Sun, 11 Dec 2016 16:32:58 -0500
6ff8b64f6041 Start sketching out the actual reasoning logic Steve Losh Sun, 11 Dec 2016 16:25:09 -0500