Don't use python's collections.Set (#7875)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 5 Jan 2022 17:19:03 +0000 (09:19 -0800)
committerGitHub <noreply@github.com>
Wed, 5 Jan 2022 17:19:03 +0000 (17:19 +0000)
commit6d48a550b8781ab86d27f6d1af1afdf3d7af9cff
treefc4de59082a6c68d8bbb8bf27474502df43ac1f2
parentd36cbc3f805bab13dfd9b4b4849df5ada582b847
Don't use python's collections.Set (#7875)

We used to use collections.Set.

Apparently this was an alias for collections.abc.Set. I can't find it
documented anywhere though, going as far back as Python 3.5. Perhaps it
was an undocumented left-over from when the collections.abc module was
split out from collections in Python 3.3?

At any rate, the alias appears broken in Python version 3.10.1.

Now we just use the builtin set type, which is what we wanted anyway,
I think.
src/api/python/cvc5.pxi