install error on macos 13.4.1

[hanfeng0114]

Command: pip3 install PyBoolector

Error info:

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
╰─> [6 lines of output]
Traceback (most recent call last):
File "", line 2, in
File "", line 34, in
File "/private/var/folders/lw/206p84bs4qvfh3s2_k0212fr0000gp/T/pip-install-lm4_6bth/pyboolector_cf53812e70674a8bb6b10caf4a685748/setup.py", line 14, in
with open(cmakelists_txt, "r") as f:
FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/lw/206p84bs4qvfh3s2_k0212fr0000gp/T/pip-install-lm4_6bth/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.

[mpreiner]

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