Source: z3 Version: 4.4.1-0.3 Severity: wishlist It’d be nice to have a python3-z3 package in addition to python-z3, especially with Python 2 fast approaching end-of-life. Upstream states that the Z3 Python bindings work in Python 3 (https://github.com/Z3Prover/z3#python), and I can confirm this after copying the contents of python-z3 to a directory in Python 3’s sys.path.
Anders
