Graph
-
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
-
Make the ZDD graphs fancier2016-11-01, by Steve Losh
-
Add ZDD `keep-avoiders-of` operation2016-11-01, by Steve Losh
-
Add ZDD utils for sizes and clean up the graph a bit2016-11-01, by Steve Losh
-
ZDD ops `keep-supersets-of` and `remove-supersets-of`2016-11-01, by Steve Losh
-
Add ZDD meet operation2016-10-30, by Steve Losh
-
Add ZDD join operation2016-10-30, by Steve Losh
-
Add variadic ZDD intersection/union wrappers2016-10-29, by Steve Losh
-
ZDD intersection2016-10-29, by Steve Losh
-
Get some basic ZDD stuff up and running with triviabdd2016-10-29, by Steve Losh
-
Tear out cudd2016-10-29, by Steve Losh
-
Try out trivialib.zdd2016-10-29, by Steve Losh
-
Add zdd.png to .hgignore.2016-10-29, by Steve Losh
-
Start the CFFI/SWIG/CUDD clown rodeo2016-10-27, by Steve Losh
-
Load CUDD as a CFFI lib2016-10-27, by Steve Losh
-
Add CUDD building to makefile2016-10-27, by Steve Losh
-
Add build to .hgignore.2016-10-27, by Steve Losh
-
Don't bother using uninterned keyword symbols2016-10-27, by Steve Losh
-
Add ZDD package2016-10-27, by Steve Losh
-
Push rule tree head sets into leaves2016-10-13, by Steve Losh
-
Initial sketch of rule trees2016-10-13, by Steve Losh
-
Add tree.png to .hgignore.2016-10-13, by Steve Losh
-
More grounding2016-10-13, by Steve Losh
-
Add grounded GDL dumping util2016-10-04, by Steve Losh
-
Use the grounder in the vanilla random player2016-09-29, by Steve Losh
-
Wrap up the fluxplayer based grounding2016-09-27, by Steve Losh
-
Start working on fluxplayer grounder2016-09-26, by Steve Losh
-
Lisp grounder, work-in-progress2016-09-26, by Steve Losh
-
Fix and/or stuff2016-09-24, by Steve Losh
-
Add GDL-II player2016-09-16, by Steve Losh
-
Tear out socket bullshit and implement the random player2016-09-14, by Steve Losh
-
Sketch out an initial skeleton architecture2016-09-08, by Steve Losh
-
Initial project skeleton2016-09-08, by Steve Losh