Fix finite-set singleton cardinality collisions #6794

Job	Run time
Python bindings (manylinux Centos AMD64) build	20m 39s
Ubuntu build - cmake - debugGcc	17m 18s
Ubuntu with OCaml on z3-static	20m 2s
Python bindings (manylinux Centos ARM64 cross) build	24m 49s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation	9m 12s
MacOS build	30m 34s
Ubuntu build - python make - MT	21m 49s
Ubuntu build - python make - ST	17m 13s
Ubuntu build - cmake - releaseSTGcc	18m 29s
Ubuntu build - cmake - debugClang	30m 10s
Ubuntu build - cmake - releaseClang	20m 42s
Ubuntu with OCaml	19m 20s
MacOS build with CMake	14m 3s
Python build-script unit tests	9s
	4h 24m 29s

Navigation Menu