Graph

less more | at revision 32: (0) -30 -10 -3 +3 +10 +30 tip

Port old rule tree implementation to ZDDs & implement basic rule tree reasoning
Tue, 01 Nov 2016 15:20:35 +0000, by Steve Losh
Make the ZDD graphs fancier
Tue, 01 Nov 2016 14:20:24 +0000, by Steve Losh
Add ZDD `keep-avoiders-of` operation
Tue, 01 Nov 2016 13:45:11 +0000, by Steve Losh

less more | at revision 32: (0) -30 -10 -3 +3 +10 +30 tip