FileNotFoundError when installing on windows

[hnaganur]

I am trying to install the package on windows for PyVSC. But this package is failing consistently failing due to version details in the meta data vs the version being downloaded.

python -m pip install PyVSC or python -m pip install PyBoolector

Collecting PyBoolector
Downloading PyBoolector-3.2.3.20231106.1.tar.gz (21 kB)
Installing build dependencies ... done
Getting requirements to build wheel ... done
Installing backend dependencies ... done
Preparing metadata (pyproject.toml) ... done
Discarding https://files.pythonhosted.org/packages/f9/ea/2262f83cbb7922b5c1070bc85cf7ca90f35e4ea2d2160cd16043e11a2c73/PyBoolector-3.2.3.20231106.1.tar.gz (from https://pypi.org/simple/pyboolector/): Requested PyBoolector from https://files.pythonhosted.org/packages/f9/ea/2262f83cbb7922b5c1070bc85cf7ca90f35e4ea2d2160cd16043e11a2c73/PyBoolector-3.2.3.20231106.1.tar.gz has inconsistent version: expected '3.2.3.20231106.1', but metadata has '3.2.3'

Installer goes on discarding versions after versions until it reaches 3.2.2 and crashes with following error.

× Getting requirements to build wheel did not run successfully.
│ exit code: 1
╰─> [20 lines of output]
Traceback (most recent call last):
File "C:\Python311\Lib\site-packages\pip_vendor\pyproject_hooks_in_process_in_process.py", line 353, in
main()
File "C:\Python311\Lib\site-packages\pip_vendor\pyproject_hooks_in_process_in_process.py", line 335, in main
json_out['return_val'] = hook(**hook_input['kwargs'])
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "C:\Python311\Lib\site-packages\pip_vendor\pyproject_hooks_in_process_in_process.py", line 118, in get_requires_for_build_wheel
return hook(config_settings)
^^^^^^^^^^^^^^^^^^^^^
File "C:\Users\hnaganur\AppData\Local\Temp\pip-build-env-gakzy71v\overlay\Lib\site-packages\setuptools\build_meta.py", line 325, in get_requires_for_build_wheel
return self._get_build_requires(config_settings, requirements=['wheel'])
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "C:\Users\hnaganur\AppData\Local\Temp\pip-build-env-gakzy71v\overlay\Lib\site-packages\setuptools\build_meta.py", line 295, in _get_build_requires
self.run_setup()
File "C:\Users\hnaganur\AppData\Local\Temp\pip-build-env-gakzy71v\overlay\Lib\site-packages\setuptools\build_meta.py", line 480, in run_setup
super(_BuildMetaLegacyBackend, self).run_setup(setup_script=setup_script)
File "C:\Users\hnaganur\AppData\Local\Temp\pip-build-env-gakzy71v\overlay\Lib\site-packages\setuptools\build_meta.py", line 311, in run_setup
exec(code, locals())
File "", line 14, in
FileNotFoundError: [Errno 2] No such file or directory: 'C:\Users\hnaganur\AppData\Local\Temp\pip-install-nellptcy\CMakeLists.txt'
[end of output]

note: This error originates from a subprocess, and is likely not a problem with pip.
error: subprocess-exited-with-error

Can someone help me with this?

OS = Windows
Python version = 3.11.6
Pip = 23.3.2

[mpreiner]

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