mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
This PR integrates building and publishing cvc5 with its base and pythonic python APIs as a package to PyPi into our CI. We build wheels for Linux and macOS for CPython 3.6 to 3.10 and PyPy 3.7 and 3.8. The job is run nightly and for a release, and only published to PyPi for a release (as long as there is no reasonable way to automatically prune nightly builds from either PyPi or TestPyPi).