Graph

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

Add ZDD universe-restricted matching operation
Tue, 01 Nov 2016 16:38:51 +0000, by Steve Losh
Fix the trivialib.bdd pattern name macro fuckery
Tue, 01 Nov 2016 15:55:14 +0000, by Steve Losh
Port old rule tree implementation to ZDDs & implement basic rule tree reasoning
Tue, 01 Nov 2016 15:20:35 +0000, by Steve Losh

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