kdrag.solvers.kb.multiset.add

kdrag.solvers.kb.multiset.add(xs, ys)

Add two multisets

>>> list(add([("a", 1), ("b", 2)], [("a", 1), ("c", 3)]))
[('a', 2), ('b', 2), ('c', 3)]