kdrag.solvers.kb.multiset.overlap

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

Find minimal multiset that is a supermultiset of both xs and ys. Return None if this is just the union (trivial)