Graph
-
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