install pyboolector failed on python 3.11 macos

[songzenghui]

Collecting pyboolector>=3.2.2
  Using cached https://mirrors.bfsu.edu.cn/pypi/web/packages/26/10/9de9ed3673edb1a3b835106cc72a3d7249590953a8399b14474c2177b251/PyBoolector-3.2.2.20221010.1.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 "/private/var/folders/sp/msh0k9lx6tjb007zz9c2cn_80000gn/T/pip-install-t8mxe_qw/pyboolector_e3f3383311a6406d8b644f94e5a7f575/setup.py", line 14, in <module>
          with open(cmakelists_txt, "r") as f:
               ^^^^^^^^^^^^^^^^^^^^^^^^^
      FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/sp/msh0k9lx6tjb007zz9c2cn_80000gn/T/pip-install-t8mxe_qw/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.

[mpreiner]

Boolector is not actively maintained and developed anymore. It was succeeded by Bitwuzla and the repository is now archived.