Commit Graph

1 Commits

Author SHA1 Message Date
AlexKnauth
f9199f6e37 Use filter-maximal for pruning redundant elements in unions 2017-04-10 21:41:15 -07:00