mudathirmahgoub
|
a22439fcdd
|
Fix soundness issue with bags.card when a child appears multiple times in bag.union_disjoint (#9980)
Fixes #9780.
Fixes cvc5/cvc5-projects#547.
Fixes cvc5/cvc5-projects#566.
Fixes cvc5/cvc5-projects#584.
Fixes cvc5/cvc5-projects#603.
|
2023-08-29 08:53:19 -05:00 |
|