Update Python versions supported with binary wheel builds

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

324 stars 63 forks source link

Update Python versions supported with binary wheel builds #211

Closed mballance closed 9 months ago

mballance commented 10 months ago

This pull request adds Python 3.11 and 3.12 to the list that Boolector builds as binary wheels. The Docker image used to build the wheels on Linux was also updated. Due to a change with new versions of DistUtils (https://github.com/yaml/pyyaml/issues/601), the binary-wheel setup.py was substantially simplified.