search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
103 stars 40 forks source link

Install older version of setuptools on macOS CI #311

Closed makaimann closed 1 year ago

makaimann commented 1 year ago

Python bindings installation is failing on macOS, likely due to an updated setuptools. Install an older version to temporarily avoid this issue.

See https://github.com/upscale-project/pono/pull/302 and https://github.com/pypa/setuptools/issues/3227 for more information.

makaimann commented 1 year ago

Closing for now, because https://github.com/stanford-centaur/smt-switch/pull/312 is hopefully a better fix.