Multisets; Computable Set Theory

Multiset rewriting by multiset constraint solving