Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
335 stars 62 forks source link

FileNotFoundError when installing on windows #218

Open hnaganur opened 9 months ago

hnaganur commented 9 months ago

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 commented 1 month ago

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