equals

Tells whether multiSet1 and multiSet2 contain the same clauses, regardless of order.