a Python package to distribute the yices release binaries - View it on GitHub