Collecting z3-solver==4.4.2.1.post1
Downloading z3-solver-4.4.2.1.post1.tar.gz (3.7MB)
Building wheels for collected packages: z3-solver
Stored in directory: /tmp/tmp0pc8dea1
Successfully built z3-solver