search

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

Cannot install PyBoolector using Python 3.10 #179

Closed msvisser closed 2 years ago

msvisser commented 2 years ago

Installing PyBoolector from PyPi using pip install pyboolector results in errors. There is currently no wheel for Python 3.10 on PyPi, therefore pip tries to install using the source, however this results in an error about the CMakeLists.txt also seen in #175 and #176.

mpreiner commented 2 years ago

Fixed with 867bb2b. I added Python 3.10 packages.

msvisser commented 2 years ago

Thank you!