|
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 |
|
8a22df7c2b9d
|
Clean up and get the rule forest generation working properly
|
Steve Losh |
Wed, 07 Dec 2016 17:52:35 -0500 |
|
3cfc630a3e6e
|
Lots of cleanup, docstrings, comments
|
Steve Losh |
Thu, 24 Nov 2016 16:08:20 +0000 |
|
e2fbd297f5c7
|
Clean up some package layout issues
|
Steve Losh |
Wed, 23 Nov 2016 11:08:33 +0000 |
|
fe02d26f331f
|
Plumb together all the rule tree/stratification stuff
|
Steve Losh |
Mon, 21 Nov 2016 16:52:13 +0000 |