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