Boolector/boolector

Cannot install PyBoolector using Python 3.10

msvisser opened this issue · 2 comments

msvisser commented

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

Fixed with 867bb2b. I added Python 3.10 packages.

msvisser commented

Thank you!