travis: z3 on PyPI is z3-solver
travis: z3 on PyPI is z3-solver

"pip install z3" installs something related to backuping ZFS on S3.

fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared