Added rewriting distinct with bitvectors to false if bit-size is too low#5956
Merged
NikolajBjorner merged 10 commits intoZ3Prover:masterfrom CEisenhofer:masterApr 9, 2022
+28-10
Commits
Commits on Mar 25, 2022
Commits on Mar 27, 2022
Commits on Mar 29, 2022
Commits on Apr 4, 2022
Commits on Apr 6, 2022
Commits on Apr 8, 2022
Commits on Apr 9, 2022
- committed