Installing pyboolector fails for python 3.11.3 on Linux (Arch)

[alwilson]

I'm not sure when Arch moved from 3.10 to 3.11, but I think this is an issue with the pre-built binary not being available for linux and cp311. I don't know enough about pypi though to be sure.

(ins)alex@riot boolector$ pip install pyboolector
Defaulting to user installation because normal site-packages is not writeable
Collecting pyboolector
  Using cached PyBoolector-3.2.2.20230110.4.tar.gz (21 kB)
  Preparing metadata (setup.py) ... error
  error: subprocess-exited-with-error
  
  × python setup.py egg_info did not run successfully.
  │ exit code: 1
  ╰─> [7 lines of output]
      Traceback (most recent call last):
        File "<string>", line 2, in <module>
        File "<pip-setuptools-caller>", line 34, in <module>
        File "/tmp/pip-install-9t5g_hwd/pyboolector_4c5c1987561745b29f5c2818c717ef94/setup.py", line 14, in <module>
          with open(cmakelists_txt, "r") as f:
               ^^^^^^^^^^^^^^^^^^^^^^^^^
      FileNotFoundError: [Errno 2] No such file or directory: '/tmp/pip-install-9t5g_hwd/CMakeLists.txt'
      [end of output]
  
  note: This error originates from a subprocess, and is likely not a problem with pip.
error: metadata-generation-failed

× Encountered error while generating package metadata.
╰─> See above for output.

note: This is an issue with the package mentioned above, not pip.
hint: See above for details.
(ins)alex@riot boolector$ python --version
Python 3.11.3

[alwilson]

pip install pyboolector is working after merging #211

$ pip freeze | grep PyBool
PyBoolector==3.2.2.20230911.3

[mpreiner]

Great! There is still an issue with the versioning scheme on PyPi, but we'll release 3.2.3 soon, which should fix the issue.