|
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 |
|
addb56e3eb9d
|
Move all the graphviz code into its own file
|
Steve Losh |
Mon, 21 Nov 2016 15:33:17 +0000 |
|
37e64253cccf
|
Stratify rules according to negations
|
Steve Losh |
Sun, 20 Nov 2016 15:33:06 +0000 |