Commit Log
commit | description | author | date |
---|---|---|---|
60ef1d1333e9 | Add ZDD universe-restricted matching operation | Steve Losh | Tue, 01 Nov 2016 16:38:51 +0000 |
f766019a72af | Fix the trivialib.bdd pattern name macro fuckery | Steve Losh | Tue, 01 Nov 2016 15:55:14 +0000 |
8e281422161d | Port old rule tree implementation to ZDDs & implement basic rule tree reasoning | Steve Losh | Tue, 01 Nov 2016 15:20:35 +0000 |