Commit Log

commit description author date
b7c02baa4fee Start the rule order/partitioning process Steve Losh 2016-11-05
7fe3a52bf1f6 Initial stab and the head collapsing. Steve Losh 2016-11-05
d505235f4520 More documentation Steve Losh 2016-11-02
1151f5fc872e Add some ZDD docstrings Steve Losh 2016-11-02
060160061ec6 Rename `leaf` -> `sink` Steve Losh 2016-11-02
2a71a4230eb3 Clean up GraphViz stuff a bit Steve Losh 2016-11-02
60ef1d1333e9 Add ZDD universe-restricted matching operation Steve Losh 2016-11-01
f766019a72af Fix the trivialib.bdd pattern name macro fuckery Steve Losh 2016-11-01
8e281422161d Port old rule tree implementation to ZDDs & implement basic rule tree reasoning Steve Losh 2016-11-01
089d9e0ffbc7 Make the ZDD graphs fancier Steve Losh 2016-11-01
275d36f92936 Add ZDD `keep-avoiders-of` operation Steve Losh 2016-11-01
7c5b8fa516a2 Add ZDD utils for sizes and clean up the graph a bit Steve Losh 2016-11-01
1d01fdf921fa ZDD ops `keep-supersets-of` and `remove-supersets-of` Steve Losh 2016-11-01
10be262d7ae3 Add ZDD meet operation Steve Losh 2016-10-30
c4fb52c19da9 Add ZDD join operation Steve Losh 2016-10-30
Loading...