pip install z3==0.2.0

Backup ZFS snapshots to S3

Source
Among top 10% packages on PyPI.
Over 7.9K downloads in the last 90 days.

Commonly used with z3

Based on how often these packages appear together in public requirements.txt files on GitHub.

django-timelog

Performance logging middlware and analysis tools for Django

MacroPy

Macros for Python: Quasiquotes, Case Classes, LINQ and more!

z3-solver

an efficient SMT solver library

qds_sdk

Python SDK for coding to the Qubole Data Service API

gbdx-cloud-harness

GBDX Cloud Harness

Trivial-Sudoku

A trvial Python implementation of a Sudoku solver

atlassian-httptest

A real live HTTP server to use in tests

fabulaws

Simple tool for interacting with AWS in Python

nosecolor

nose plugin to display colored results.

dj-obj-update

`dj-obj-update` helps you update an object but only saves if something changed.

should_dsl

Should assertions in Python as clear and readable as possible

RXPY

A Regular Expression Library for Python

python-keystoneclient-kerberos

Kerberos authentication for the OpenStack clients

jujuclient

A juju-core/gojuju simple synchronous python api client.

os-cloud-config

Configuration for OpenStack clouds.

httreplay

A HTTP replay library for testing.

ironic-discoverd

Hardware introspection for OpenStack Ironic

django-djangui

A Django app which creates a web GUI and task interface for argparse scripts

sailthru-client

Python client for Sailthru API

Version usage of z3

Proportion of downloaded versions in the last 3 months (only versions over 1%).

0.2.0

87.86%

0.1.15

1.09%

0.1.14

1.04%