pyvsc python3.9 error in finding the pyboolector module in constraint model

After running I always get the following error:

I checked the requirement and ran the pip update along with the pip instal PyBoolector again with no success the error is still there. Any clue on how having this sorted ? Thanks

Jan 02 '22 10:01 EngRaff92

Did you maybe install pyboolector inside a virtual environment and run outside of it now, or the other way around? Or did you install into a user location which is not in PYTHONPATH?

Jan 02 '22 17:01 cmarqu

Hi @EngRaff92, that's strange -- especially because my understanding is that the 'pip install' operations completed without error. Can you confirm this is the case? One difference I see vs my environment is that you appear to be running macOS and Python 3.9, while I'm running Linux and Python 3.6. I checked the Boolector build, and your combination should be supported (and pip should have failed if it wasn't supported). I suggest the following diagnostic steps:

I'd like to confirm whether the PyBoolector extension is actually being installed in your Python tree. Search for a shared library that has 'pyboolector' as part of the name in your Python installation. On Linux, I'd so something like find -name 'pyboolector'. You should see a shared-library file (ie .dyld extension, I think)
If PyBoolector is installed, but there is an issue with loading it, I'd like to see if we can get additional debug output. Try running 'python3 -c "import pyboolector"'. The hope is that some additional error is reported in addition to 'no module...'

I also like @cmarqu's suggestion to double-check where pyboolector was installed (which Python install). Might be worth creating a dedicated virtual environment for the diagnostic steps above.

Jan 02 '22 17:01 mballance

I did the uninstall and I ran again the PyVSC installer. Before doing it I fired the pip install PyBoolector command and it seems like is running across many versions until it finds the correct one (not sure on what the correctness is based on) WARNING: Discarding https://files.pythonhosted.org/packages/b7/25/f3e324d177293245ebe8ea4eaec6cb3e352ddb8f09623906898b663aa437/PyBoolector-3.2.1.20200906.14.tar.gz#sha256=99b21d02e7d5944ab686f8fb8304ea71ed4a8651681af64be4ab9bad9aaa0544 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.13.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-ce1x3ggm cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_d3eb3770cc3241e4a1cb24512d392bef/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/9b/17/1ae0c77e8172ce6b8e4f424ef6312a27b4427b777e022a80805c6f28a456/PyBoolector-3.2.1.20200906.13.tar.gz#sha256=5446acb71276aefe4b3979647e5c7fabbae5f5056c89aad3f95e18bc23fbc94c (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.12.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-e49koucf cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_0cdd292c481e4029ad9f4043a0b18ef9/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/cd/c3/1310cec7cc749c9582a4d03c0dd2c553754bda97a7e1458579ffb68a1b9e/PyBoolector-3.2.1.20200906.12.tar.gz#sha256=77f242f173c6b522c6dce2d23b4ab34876f7dd6aa65b8a7a610a9f2fe0c9f8e7 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.11.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-qcyxeep9 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_997766615dee4f1f9ba0c891bc4bb574/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/43/8f/5b44ba9d26d0d514db70ea40930a4354a9ce29334c495fb7c6a219bd6da4/PyBoolector-3.2.1.20200906.11.tar.gz#sha256=b81bd4fb43ee6037c93349d0e191ae20d13310894c6046d801f83db754a3caa3 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.10.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-x8hrbq11 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_44e784eb0a4f40fc9695ad02a5d59201/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/6c/78/f787e4cbdb5dfcf9176d64e7f8b3d2129807679e6be5dfaed43f5a8b4da9/PyBoolector-3.2.1.20200906.10.tar.gz#sha256=b690eafd478aab2b547682dd09a842964aed74d722fb2f1d6f0b6e4a8ec5e849 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.9.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-qx4401rv cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c2059c32a240433a82703e721ea8ea68/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/d4/d8/1c4002988902ba5aa67b73e63f7134d2ec0d95eb332432fdee8f4ef01999/PyBoolector-3.2.1.20200906.9.tar.gz#sha256=f2f2f4009690823e099bf2cca487d450a76b6293147c0cb27716698946317964 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.8.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-dppz3z_f cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_52fe507044b84b9cad1b4d94d1e113a2/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/50/67/3ec85500825343a3e3a472961ae5cbf19de2236bf61a9e9fd08235fb2b6a/PyBoolector-3.2.1.20200906.8.tar.gz#sha256=bd9a292d67df8da9a9c3f42ed9c9bf0a7504fec895ed243f9c30e02221205c44 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.7.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-zy38lu0k cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_96c4d3799e024cc1958359084611892e/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/a2/6f/284905b68064cbf06667e7db164f2394ea335a302536314eed4c60e74fbd/PyBoolector-3.2.1.20200906.7.tar.gz#sha256=68aec60dded4b30cc46acf33b3f4ab658a736e64bc59cdb4f847e26a6a5f8fee (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.6.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-q__p2k02 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_10368eababd842b0bf4da81a03a27eff/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/ee/0e/4b9b85c2dd632c54b1bd422adf23f3d491f92d6ec964581dbc9df0ca6596/PyBoolector-3.2.1.20200906.6.tar.gz#sha256=32df707fa1e546d6e4a49816584cb7cf1ea760cfa8ba564f2750981605a9279d (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.5.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-0dsqo6kj cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_82dc5a01e83342ecada05131def35ebe/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/a6/f7/f0c5a37fdcb02390a6144e69da4dabd39a36cfba267772757417dde8d426/PyBoolector-3.2.1.20200906.5.tar.gz#sha256=9c245e0d5a67d437146088ebb3c453f9bf010b77dd370e135baef90a7ffe3a59 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.4.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-844ljfqu cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_78e4b4f55bf84d0ab93a7e6f46e9773a/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/71/5a/309428ac1f60e5758fcdd5c90479cbd574201954bb706bd8007b71dcaaf0/PyBoolector-3.2.1.20200906.4.tar.gz#sha256=4ea0c9c672928c16aff4f72cff02afcc9330288b8f5970cf40e252b4389b1141 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.3.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-825e6m7m cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_cd0fcc8792684cfc9e2a3a2d94472360/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/b0/fe/90e70948b3771a7b2aee41561218b070191484dddf161f30dd724f2e7a5c/PyBoolector-3.2.1.20200906.3.tar.gz#sha256=0f70587d03c0558a14001c6ff67e96a38b755d996398f48f2d5fe3ac4db48119 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.2.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-q5t64tfe cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_21b1a1a6d8834a758546f735b3d6cd4a/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/a3/a4/b4937df4e7d87ca0f77f5cbe51c8a4f59d0715a834a8cf2c3f8b087fe09d/PyBoolector-3.2.1.20200906.2.tar.gz#sha256=fe86c3a4b1664882e493c47e89548767374d6f8ba677f09115bb6743ac8f3c64 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200906.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-6xz5nnmh cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_68072f65649a481688ae494841c4bdf7/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/0c/e3/843f66a72fb364c90de51f2a659163310637bd844b18bfe5ca8ce97f6b9c/PyBoolector-3.2.1.20200906.1.tar.gz#sha256=e58e4a98a72c81a1e802a43639f148d412b9de8d049f1a5098eec3a91bc3fdbf (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200826.2.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-qxdxkfxq cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_137b45b12e234880ad88f6fe3fb5ef1f/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/5a/55/5ff17792cf4683a92d26b635d59ed926d26f8143b0b8f141fe779d05cec6/PyBoolector-3.2.1.20200826.2.tar.gz#sha256=6a5bb4c96cce0fb6965d77a8a99cfb0839389e62a635cb4f1e96ddf393109d41 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200811.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-tynqte7v cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c3e44f5b003746e68890446c2cb3096b/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/e2/a9/a2fbda6031d78824c7701cb1a00feb27562903cb1abc17f54b2547ad6816/PyBoolector-3.2.1.20200811.1.tar.gz#sha256=d575e7432110739fd1750ebc4e89f20793f8965059f960c74b9a2e9f23b5f935 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200804.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-kv9nngw8 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_390f0b4e0b8a408da677080139257861/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/02/98/9a639760f69179fc6f3a37e6a75b2b0d9e79a27ab8764806b6d2592e7b82/PyBoolector-3.2.1.20200804.1.tar.gz#sha256=765fbf14163d163151211f2815db6e19708bcb91e1c87c3f248bb43d931a7f9f (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200731.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-_uxiy6ya cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c52bdbe9d2814ebfb2e6a212cdba2b70/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/bc/c3/a08e7e3d1821d15a3cd58ac789ea1a38292c752d8ddb805cd7c655ceddd0/PyBoolector-3.2.1.20200731.1.tar.gz#sha256=e7266fc1b09b79ff7bc506ccc30d6d9a50c834f92f7567cee2dcdbafb6ef1b70 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200720.2.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-s0cxq5tu cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a215f4100b2441e38ff219400060849c/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/83/b6/23dee14439843c6b8be1e38c3a89c453ae5adda2270b4d2667d44b0a0983/PyBoolector-3.2.1.20200720.2.tar.gz#sha256=417b3222fbbc67063d4ecd8b796fc3e5bbbada55d06034e1752529acedf5fe6d (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200714.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-ycxt1h_3 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_c1416577ae0c47de84411c1b973bdf65/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/cf/0b/de6f7fa5f4f0df4abc48e5d48b1f7836fe3b472048c3133a8ae9c1664a25/PyBoolector-3.2.1.20200714.1.tar.gz#sha256=1602e1fa0e78b03c89ad248b22fb8f9c8d2bceed174c1eda35ee23a4f3716b28 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200711.3.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-8cxqpnt4 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1efe99915b314d648a337b00cb763e8e/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/56/e4/75dac36c3ae08ca7859af8b00cf879e4e1d6a2328d22d5c95195bfee4633/PyBoolector-3.2.1.20200711.3.tar.gz#sha256=b707a2291c233a10e23a92009c90f1800b681104ae7e9f2d1451490a6bc8de30 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200711.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-rm85usgc cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_88e83c6cdb70413d822cbd4a6c9474e5/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/9d/09/7ffd537da7f10d29a22f8d9760bcc5f306e01eed3a385a06e0e5d78333b4/PyBoolector-3.2.1.20200711.1.tar.gz#sha256=c21d46e2298fa9addd0ef15d3c99cdc1304051bcf63525e89bde6d43a5fa6ab0 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200616.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-ghvrp5mw cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_a86118ff11d14f46adfc8bbcb5b30b0b/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/e1/06/702eeff1392b8487915b8fb84732fbcb608c0565ff441a3d1afa31fbb7d0/PyBoolector-3.2.1.20200616.1.tar.gz#sha256=e2adf6cd6ef25389a1d30be96a3782aa8a5658196f30d0f23450e027b69be418 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200615.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-11b7iz8i cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_1febcd67509f468688d1f8e921ed1ab2/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/25/53/9b61631106c5f53fee31291004522eff908ff5ddde87b20f49cb936aaf81/PyBoolector-3.2.1.20200615.1.tar.gz#sha256=2688ebc591e9887ae2803435e36c87a6257abd063e8a9fe2595c2fd5996e4167 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200521.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-9t_4tmc2 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_61bd64bfa0e04148ad8c1ad13dc8d461/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/c9/23/0579b6f5e5f8907f55a11c7f91b185f1f732ddb9d98e1c02fc5c85391726/PyBoolector-3.2.1.20200521.1.tar.gz#sha256=f0d7cf4c18d1ab4bf56807f54785fb399ea406469378935b5f4bf6fe13a67437 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200520.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-1opfnl79 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_92099fd4a63e408ebb1d6b56b801345c/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/90/1a/427363cc0a0894b63aae16ce6693e1b854f492f7d06e398caa8b94d88f1c/PyBoolector-3.2.1.20200520.1.tar.gz#sha256=5eb5cee03fe2cd5c43fd2119413c595cbcf193252b5d243b1cc759bfd6bfd664 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200429.2.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-xzcry7gu cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_22a117eb26994e0897241b127acbf94f/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/9e/6a/237f48683386be31c77b849f84032593615e396652854b0fc33812163b02/PyBoolector-3.2.1.20200429.2.tar.gz#sha256=211f8dff567c7923e5acb1da409f77ba7d499aecbbbfeb58670209b3b2c77531 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200429.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-hxe1asxq cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_ebee3fcbc3d642748fc0ef6cfc4abe45/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/33/ab/d17844b6f905821b119b18e2e353015d584d907adbfb003792e199c884e2/PyBoolector-3.2.1.20200429.1.tar.gz#sha256=8aa42dcc6beeebbfd0fc72a294f07323276d2495b90c60cf8893b2b8c916ca4b (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200423.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-_csepha4 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_e3146bc2cfef41ef88510e071cc98bbb/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/38/0d/ecf58b161dc4ddb48d928b0f050681fe0469fc3a840f52f6bcdcf41c6583/PyBoolector-3.2.1.20200423.1.tar.gz#sha256=0bbdf59efc2639195750deb915bee688c9c702ad02f18c12799acbd39d211cb7 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200421.2.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-b0b_yjy2 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7228db57e0d0497ca00bfebb9409f5bd/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/0a/81/f60cf49abf2b54e6576898b5524c2dc796ec32e3af2bd8f10ede29e10334/PyBoolector-3.2.1.20200421.2.tar.gz#sha256=a80b071abc9058a1edf7ebff6628047063ee1ce311edff4782cd0dcb01ebcdc4 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200415.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-giem1oz9 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_2a55a5ea652c425c9fcab3830dc2f9ed/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/32/e8/c33d6a541f26f375c9ea88610df38619eb9b05c79476637412f2e26b363e/PyBoolector-3.2.1.20200415.1.tar.gz#sha256=ccb78a517d1d8194374f6d6b15cd084d5a2ddc0c22da81f7d803dcb159f4beb1 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200414.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-53__s9xq cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_da5cb6d813d145289961fc1393c3c841/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/23/27/05904544b26b218d9133f6933e46dd795cef04110c9c7e9f14b61e95c195/PyBoolector-3.2.1.20200414.1.tar.gz#sha256=2225dc237bcd4b8f7ad9c5334806a7942fe36f980bce8006273e2e56417c7094 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200413.1.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-xc2p69dh cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_858af22fb101481d8397564c24c76e19/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/dc/d8/ca494f5acc01eee7a2169545caf1f68ebc981e49c3b69d5d52f56a909afb/PyBoolector-3.2.1.20200413.1.tar.gz#sha256=c0e655f657203b2243bb89a8c86099935c1f4dd368e63830d54fb2b9b736d0c5 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.1.20200410.3.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-e5nhrfb4 cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_7057f058451e4559a956a05a4f5f30e5/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/e9/9b/8315c29e56f9f8474080fa72b02efd1f65eea3f75aab2f842f789bd0149d/PyBoolector-3.2.1.20200410.3.tar.gz#sha256=7081e9ff8d791f9313e0fbb5540cd33336b3dd0d277aa5495153dcd8f6568d95 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.2.0.20200301.4.tar.gz (20 kB) Preparing metadata (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' egg_info --egg-base /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-pip-egg-info-nicy8nmv cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/ Complete output (5 lines): Traceback (most recent call last): File "", line 1, in File "/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_30078b01aa6f44fda951ef729dc34470/setup.py", line 14, in with open(cmakelists_txt, "r") as f: FileNotFoundError: [Errno 2] No such file or directory: '/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/CMakeLists.txt'

WARNING: Discarding https://files.pythonhosted.org/packages/ec/23/f499c92ddfa1493d23dce0c8bbee2047a3c88b8b6bf3843a4d3ce8b1720a/PyBoolector-3.2.0.20200301.4.tar.gz#sha256=ee1e7f8b1cb1f71fba3c8265e7ea8d7cf8bc504195477ad86032d45761c43175 (from https://pypi.org/simple/pyboolector/). Command errored out with exit status 1: python setup.py egg_info Check the logs for full command output. Using cached PyBoolector-3.0.0.20191119.2.tar.gz (20 kB) Preparing metadata (setup.py) ... done Building wheels for collected packages: PyBoolector Building wheel for PyBoolector (setup.py) ... error ERROR: Command errored out with exit status 1: command: /opt/homebrew/opt/[email protected]/bin/python3.9 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_84cdf9bff71340bca0f163fa0ed0bc76/setup.py'"'"'; file='"'"'/private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_84cdf9bff71340bca0f163fa0ed0bc76/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(file) if os.path.exists(file) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, file, '"'"'exec'"'"'))' bdist_wheel -d /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-wheel-5ch_l4at cwd: /private/var/folders/9c/89xjkzt573lghnkjsg23gd4c0000gn/T/pip-install-1_h50jat/pyboolector_84cdf9bff71340bca0f163fa0ed0bc76/ Complete output (33 lines): running bdist_wheel running build running build_ext building 'pyboolector' extension creating build creating build/temp.macosx-11-arm64-3.9 creating build/temp.macosx-11-arm64-3.9/src clang -Wno-unused-result -Wsign-compare -Wunreachable-code -fno-common -dynamic -DNDEBUG -g -fwrapv -O3 -Wall -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk -I/usr/include/boolector -I./src -I/opt/homebrew/include -I/opt/homebrew/opt/[email protected]/include -I/opt/homebrew/opt/sqlite/include -I/opt/homebrew/opt/[email protected]/Frameworks/Python.framework/Versions/3.9/include/python3.9 -c src/boolector_py.c -o build/temp.macosx-11-arm64-3.9/src/boolector_py.o In file included from src/boolector_py.c:9: ./src/boolector_py.h:12:10: fatal error: 'boolector.h' file not found #include "boolector.h" ^~~~~~~~~~~~~ 1 error generated. Error compiling module, falling back to pure Python /opt/homebrew/lib/python3.9/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. warnings.warn( installing to build/bdist.macosx-11-arm64/wheel running install running install_lib warning: install_lib: 'build/lib.macosx-11-arm64-3.9' does not exist -- no Python modules to install

running install_egg_info running egg_info creating PyBoolector.egg-info writing PyBoolector.egg-info/PKG-INFO writing dependency_links to PyBoolector.egg-info/dependency_links.txt writing top-level names to PyBoolector.egg-info/top_level.txt writing manifest file 'PyBoolector.egg-info/SOURCES.txt' reading manifest file 'PyBoolector.egg-info/SOURCES.txt' writing manifest file 'PyBoolector.egg-info/SOURCES.txt' Copying PyBoolector.egg-info to build/bdist.macosx-11-arm64/wheel/PyBoolector-3.0.0.20191119.2-py3.9.egg-info running install_scripts error: [Errno 2] No such file or directory: 'LICENSE'

ERROR: Failed building wheel for PyBoolector Running setup.py clean for PyBoolector Failed to build PyBoolector Installing collected packages: PyBoolector Running setup.py install for PyBoolector ... done DEPRECATION: PyBoolector was installed using the legacy 'setup.py install' method, because a wheel could not be built for it. A possible replacement is to fix the wheel build issue reported above. Discussion can be found at https://github.com/pypa/pip/issues/8368 Successfully installed PyBoolector-3.0.0.20191119.2

Sorry the log was pretty huge I just cutshort it. The same error is fired while running the PYVSC installation.

python3.9 -c "import pyboolector" Traceback (most recent call last): File "", line 1, in ModuleNotFoundError: No module named 'pyboolector'

Anyway even if it successfully installed a specific version on the wheel seems like the module name is not found. Probably something to do with the installation since I'm running the C code on Mac which could lead to issues. Any clue ? Not sure if a virtual env will help here

Jan 02 '22 18:01 EngRaff92

Oh... Hmm... The errors produced are, to put it mildly, difficult to understand. I think I see the issue, though. You're running Arm-architecture macOS, which isn't yet supported by GitHub actions. Unfortunately, the PyBoolector package can really only be installed from PyPi as a binary wheel. It should be possible to locally install Boolector and locally build the Python package for it. I'll be honest, I don't know what (if any) issues you might find there, since I don't believe Boolector is currently in use on Arm architecture platforms. Is this a path you would consider taking?

Jan 02 '22 18:01 mballance

I installed Boolector by building it from the git repo without any problem at moment. The main obstacle I'm struggling with is how to avoid installing PyBoolector from PYCSV installation to avoid it to be picked up and let it use the Boolector (I think PYBOOLECTOR is still needed due to the interface between C code and Python) am I right ? any additional clue?

Jan 02 '22 19:01 EngRaff92

adding the ticket as reference https://github.com/Boolector/boolector/issues/180

Jan 02 '22 19:01 EngRaff92

@EngRaff92, I think what you can do is to install pyVSC with --no-deps and add the Boolector Python package (I assume you build Boolector with the Python interface enabled) on PYTHONPATH. Before attempting to get PyVSC to work, I'd recommend ensuring that you can properly load pyboolector using a simple test script.

Jan 03 '22 15:01 mballance

Hello all, made quite few progresses today:

Ran the following instruction in the boolector repo ./configure.sh --python && cd build && make
linked the /build/lib in the PYTHONPATH
then I ran the following command: python2.7 -c "import pyboolector" it works I tried the api examples with python2.7 and it works fine.
Then I ran the same command with python3/3.9 and it gives me out the following error:
the I ran again the step 1 with --py3 option it looks like it then choose to go for python3 opts in the CMAKE
I ran the step 4 again and I got the same error
I ran as well a py example using the pyvsc and I'm getting the following error:

Pretty stuck now here since I need to use py3.9 or py3 since everything is setup on this version and I really cannot go back to the py2.7. Thanks for the support

Jan 03 '22 21:01 EngRaff92

OK found the issue why is not working on py3:

the following is the Python2 configuration while running the configure:

This is instead the py3:

I can clearly see some progresses done further on the --python option compared with the py3 option, moreover the --py3 result in Python bindings: no which explains the error.

Still have no clue at this point on how to move towards. (the not found modules are in since I installed it using brew strangely tho is not picking up all of them). Thanks again

Jan 03 '22 21:01 EngRaff92

Hate to ask an "is it plugged-in" question, but can you confirm that the configure command for python3 includes both --python and --py3? Also, can you confirm that you remove the 'build' directory created by the configure command? I know cmake caches some stuff, and you'll want to ensure a completely-clean build.

Jan 03 '22 21:01 mballance

Sorry yes it is exactly what I was about to add, this is the result got by using both --python and --py3:

Yes to answer your question I removed the build folder before running the configure again

Jan 03 '22 21:01 EngRaff92

Hmm... Sadly Google isn't helping much here... In looking at the cmake packages used to find the Python interpreter, it appears that the 'FindPythonInterp' that Boolector uses is deprecated.

I'm wondering if explicitly setting PYTHON_LIBRARIES and PYTHON_INCLUDE_DIRS would get you past this issue. You'll need to hack up the end of the 'configure.sh' script to add the appropriate -DPYTHON_LIBRARIES= and -DPYTHON_INCLUDE_DIRS= options to cmake_opts. It appears that PYTHON_LIBRARIES should point to the 3.9.9 .dylib.

Jan 03 '22 21:01 mballance

I was hacking around the Cmakelist.txt with no result at moment, I will go for your suggestions as well. Thanks again

Jan 03 '22 21:01 EngRaff92

I added this line after running the

python3.9-config --includes

this hardcoded line fixes the issues now the BIND is done properly and I'm able to run the following command without problems:

python3.9 -c "import vsc"
python3.9 -c "import pyboolector"

and run the following simple python code:

import sys
import random
import vsc

@vsc.randobj
class RandByte:
    def __init__(self):
        self.byte = vsc.rand_bit_t(8)

    def __str__(self):
        return("byte = %d".format(self.byte))

along with the api examples provided by boolector. Thanks for the support really I appreciate it

Jan 03 '22 22:01 EngRaff92

I think I can close, I will experiment all the features of PYVSC and see if missing something in the installation (hope not)

Jan 03 '22 22:01 EngRaff92

Last question before closing, is the pyboolector the only dep? since i ran the pip install with no deps I'm wondering if could have missed something else

Jan 04 '22 08:01 EngRaff92

I've used quite a while unfortunately setting the PYTHONPATH to be pointing to the boo lector sadly causes instead PYTEST to fail with the following error:

''' Traceback (most recent call last): File "/opt/homebrew/bin/pytest", line 8, in sys.exit(console_main()) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 187, in console_main code = main() File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 145, in main config = _prepareconfig(args, plugins) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 324, in _prepareconfig config = pluginmanager.hook.pytest_cmdline_parse( File "/opt/homebrew/lib/python3.9/site-packages/pluggy/hooks.py", line 286, in call return self._hookexec(self, self.get_hookimpls(), kwargs) File "/opt/homebrew/lib/python3.9/site-packages/pluggy/manager.py", line 93, in _hookexec return self._inner_hookexec(hook, methods, kwargs) File "/opt/homebrew/lib/python3.9/site-packages/pluggy/manager.py", line 84, in self._inner_hookexec = lambda hook, methods, kwargs: hook.multicall( File "/opt/homebrew/lib/python3.9/site-packages/pluggy/callers.py", line 203, in _multicall gen.send(outcome) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/helpconfig.py", line 102, in pytest_cmdline_parse config: Config = outcome.get_result() File "/opt/homebrew/lib/python3.9/site-packages/pluggy/callers.py", line 80, in get_result raise ex[1].with_traceback(ex[2]) File "/opt/homebrew/lib/python3.9/site-packages/pluggy/callers.py", line 187, in _multicall res = hook_impl.function(*args) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1016, in pytest_cmdline_parse self.parse(args) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1304, in parse self._preparse(args, addopts=addopts) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1172, in _preparse self._initini(args) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/init.py", line 1088, in _initini ns, unknown_args = self._parser.parse_known_and_unknown_args( File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/argparsing.py", line 161, in parse_known_and_unknown_args optparser = self._getparser() File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/argparsing.py", line 119, in _getparser optparser = MyOptionParser(self, self.extra_info, prog=self.prog) File "/opt/homebrew/lib/python3.9/site-packages/_pytest/config/argparsing.py", line 395, in init super().init( TypeError: init() got an unexpected keyword argument 'allow_abbrev '''

so seems like cannot use VSC and PYTEST together for the time being. I fixed it by removing the PYTHONPATH I set.

Any progress on getting boolector running on MACOS ?

regards

Jun 21 '22 18:06 EngRaff92