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