Build infrastructure changes for manylinux2014

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Other

114 stars 43 forks source link

Closed makaimann closed 2 years ago

makaimann commented 2 years ago

Python wheels for Linux are built on an old version of CentOS using the manylinux 2014 docker image. These changes support building on that platform.