#!/usr/bin/env python3
# This is a superficial test that checks that the Python 3 module can
# actually be imported.
import z3