Graph
-
More plotting2017-05-25, by Steve Losh
-
Better rule tree shuffling tests2017-05-24, by Steve Losh
-
Timing support2017-05-23, by Steve Losh
-
More stat gathering2017-05-23, by Steve Losh
-
Add rule size test infrastructure2017-05-20, by Steve Losh
-
Explicitly error on grounding problems, clean up stat dumps2017-05-19, by Steve Losh
-
Add rule shuffling, new stratification procedure2017-05-17, by Steve Losh
-
Add data-zdd to .hgignore.2017-05-17, by Steve Losh
-
A few more tweaks2017-05-15, by Steve Losh
-
Improve sprouting by sorting the does layer and constructing the ZDD manually2017-05-09, by Steve Losh
-
Commit and finalize the rule splitting stuff2017-05-07, by Steve Losh
-
Fix parsing to not be recursive2017-03-14, by Steve Losh
-
Add LICENSE2017-03-14, by Steve Losh
-
Commit the last week of work, lol2017-03-14, by Steve Losh
-
Clean up the ZDD reasoner API a little bit2017-03-06, by Steve Losh
-
Clean up next-iset computation API2017-02-25, by Steve Losh
-
Fix abs bug2017-02-24, by Steve Losh
-
Whitespace2017-02-23, by Steve Losh
-
Sprout some dang trees2017-02-23, by Steve Losh
-
Clean up complicated layer extraction2017-02-23, by Steve Losh
-
Fix syntax2017-02-23, by Steve Losh
-
Tweak negative term representation2017-02-23, by Steve Losh
-
Add percept filtering2017-02-17, by Steve Losh
-
Fix universe matching2017-02-13, by Steve Losh
-
Build percept ZDDs2017-02-07, by Steve Losh
-
Fix the stupid readtable mess2017-02-07, by Steve Losh
-
Reindent2017-02-07, by Steve Losh
-
Add `(next ...)` -> `(true ...)` conversion2017-01-22, by Steve Losh
-
Make the rule tree application ACTUALLY WORK2017-01-21, by Steve Losh
-
Get this thing compiling again after the arrowectomy2017-01-21, by Steve Losh
-
More work on the rule application (almost there!)2017-01-19, by Steve Losh
-
Fix stratification ordering2017-01-13, by Steve Losh
-
Start working on the head finalization process2016-12-15, by Steve Losh
-
Implement the basic iset traversal logic2016-12-15, by Steve Losh
-
Rename the logic manager to just be the reasoner2016-12-11, by Steve Losh
-
Start sketching out the actual reasoning logic2016-12-11, by Steve Losh
-
Clean up and get the rule forest generation working properly2016-12-07, by Steve Losh
-
Lots of cleanup, docstrings, comments2016-11-24, by Steve Losh
-
Clean up some package layout issues2016-11-23, by Steve Losh
-
Plumb together all the rule tree/stratification stuff2016-11-21, by Steve Losh
-
Move all the graphviz code into its own file2016-11-21, by Steve Losh
-
Stratify rules according to negations2016-11-20, by Steve Losh
-
Start the individual rule trees2016-11-18, by Steve Losh
-
Wire things up together.2016-11-15, by Steve Losh
-
Add lisp.prof to .hgignore.2016-11-15, by Steve Losh
-
Implement the layer ordering2016-11-10, by Steve Losh
-
Get the layer partitioning working2016-11-10, by Steve Losh
-
Ignore images2016-11-06, by Steve Losh
-
Port to cl-digraph2016-11-06, by Steve Losh
-
Initial stab at the term ordering with cl-graph2016-11-06, by Steve Losh
-
Start the rule order/partitioning process2016-11-05, by Steve Losh
-
Initial stab and the head collapsing.2016-11-05, by Steve Losh
-
More documentation2016-11-02, by Steve Losh
-
Add some ZDD docstrings2016-11-02, by Steve Losh
-
Rename `leaf` -> `sink`2016-11-02, by Steve Losh
-
Clean up GraphViz stuff a bit2016-11-02, by Steve Losh
-
Add ZDD universe-restricted matching operation2016-11-01, by Steve Losh
-
Fix the trivialib.bdd pattern name macro fuckery2016-11-01, by Steve Losh
-
Port old rule tree implementation to ZDDs & implement basic rule tree reasoning2016-11-01, by Steve Losh