2026-07-11T10:48:31,728 Created temporary directory: /tmp/pip-ephem-wheel-cache-8d716lim 2026-07-11T10:48:31,729 Created temporary directory: /tmp/pip-build-tracker-g4mquzt1 2026-07-11T10:48:31,730 Initialized build tracking at /tmp/pip-build-tracker-g4mquzt1 2026-07-11T10:48:31,731 Created build tracker: /tmp/pip-build-tracker-g4mquzt1 2026-07-11T10:48:31,731 Entered build tracker: /tmp/pip-build-tracker-g4mquzt1 2026-07-11T10:48:31,732 Created temporary directory: /tmp/pip-wheel-qwrkscse 2026-07-11T10:48:31,735 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-07-11T10:48:31,737 Created temporary directory: /tmp/pip-ephem-wheel-cache-cjk2_ljk 2026-07-11T10:48:31,759 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-07-11T10:48:31,762 2 location(s) to search for versions of logicedit: 2026-07-11T10:48:31,762 * https://pypi.org/simple/logicedit/ 2026-07-11T10:48:31,762 * https://www.piwheels.org/simple/logicedit/ 2026-07-11T10:48:31,763 Fetching project page and analyzing links: https://pypi.org/simple/logicedit/ 2026-07-11T10:48:31,764 Getting page https://pypi.org/simple/logicedit/ 2026-07-11T10:48:31,766 Found index url https://pypi.org/simple 2026-07-11T10:48:32,017 Fetched page https://pypi.org/simple/logicedit/ as application/vnd.pypi.simple.v1+json 2026-07-11T10:48:32,020 Skipping link: No binaries permitted for logicedit: https://files.pythonhosted.org/packages/55/b5/1e0523bc903223c6d47421395d1b2600aa1438ab76dda8b1b29e093dd169/logicedit-0.1.6-py3-none-any.whl (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10) 2026-07-11T10:48:32,021 Found link https://files.pythonhosted.org/packages/66/e8/82049d9f429ba4738da0889eb1ce96ee1edc9629f6b98c75c830182fde15/logicedit-0.1.6.tar.gz (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10), version: 0.1.6 2026-07-11T10:48:32,022 Skipping link: No binaries permitted for logicedit: https://files.pythonhosted.org/packages/db/13/8b3ef1dfce47426f08a7cb6761f50bac47a85857909e3e2ce35550b82251/logicedit-0.1.7-py3-none-any.whl (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10) 2026-07-11T10:48:32,023 Found link https://files.pythonhosted.org/packages/4e/6f/75ba7e1faf111a872ef67345d40b257fb8f0b96197c62b70f5717e654cc2/logicedit-0.1.7.tar.gz (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10), version: 0.1.7 2026-07-11T10:48:32,023 Skipping link: No binaries permitted for logicedit: https://files.pythonhosted.org/packages/5a/0e/c44d6e9eee54ae36fe0278a383443df10fefc0de159c8c6f6102bcb86dfd/logicedit-0.1.8-py3-none-any.whl (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10) 2026-07-11T10:48:32,024 Found link https://files.pythonhosted.org/packages/cc/29/43601a0a0a496ef5cc45bb118f48c18a1e7041db2c0ba27847de36ca6423/logicedit-0.1.8.tar.gz (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10), version: 0.1.8 2026-07-11T10:48:32,025 Skipping link: No binaries permitted for logicedit: https://files.pythonhosted.org/packages/80/6c/21f88d07f3091ea411463a70de44d76dddc4aec3425de4c395b7fa431793/logicedit-0.1.9-py3-none-any.whl (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10) 2026-07-11T10:48:32,026 Found link https://files.pythonhosted.org/packages/8a/90/7bfbdf5f590dbef8cd9be547a2bfe0523c8d41e0f7fff48b51e3004c0c82/logicedit-0.1.9.tar.gz (from https://pypi.org/simple/logicedit/) (requires-python:>=3.10), version: 0.1.9 2026-07-11T10:48:32,027 Fetching project page and analyzing links: https://www.piwheels.org/simple/logicedit/ 2026-07-11T10:48:32,028 Getting page https://www.piwheels.org/simple/logicedit/ 2026-07-11T10:48:32,029 Found index url https://www.piwheels.org/simple 2026-07-11T10:48:32,325 Fetched page https://www.piwheels.org/simple/logicedit/ as text/html 2026-07-11T10:48:32,326 Skipping link: not a file: https://www.piwheels.org/simple/logicedit/ 2026-07-11T10:48:32,327 Skipping link: not a file: https://pypi.org/simple/logicedit/ 2026-07-11T10:48:32,349 Given no hashes to check 1 links for project 'logicedit': discarding no candidates 2026-07-11T10:48:32,369 Collecting logicedit==0.1.7 2026-07-11T10:48:32,371 Created temporary directory: /tmp/pip-unpack-ogxh9cqs 2026-07-11T10:48:32,700 Downloading logicedit-0.1.7.tar.gz (29 kB) 2026-07-11T10:48:32,814 Added logicedit==0.1.7 from https://files.pythonhosted.org/packages/4e/6f/75ba7e1faf111a872ef67345d40b257fb8f0b96197c62b70f5717e654cc2/logicedit-0.1.7.tar.gz to build tracker '/tmp/pip-build-tracker-g4mquzt1' 2026-07-11T10:48:32,820 Created temporary directory: /tmp/pip-build-env-bbuey4nq 2026-07-11T10:48:32,824 Installing build dependencies: started 2026-07-11T10:48:32,825 Running command pip subprocess to install build dependencies 2026-07-11T10:48:33,956 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2026-07-11T10:48:34,424 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-07-11T10:48:34,446 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-07-11T10:48:36,463 Collecting setuptools>=68 2026-07-11T10:48:36,464 Obtaining dependency information for setuptools>=68 from https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl.metadata 2026-07-11T10:48:36,479 Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl.metadata (6.6 kB) 2026-07-11T10:48:36,713 Collecting wheel 2026-07-11T10:48:36,714 Obtaining dependency information for wheel from https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl.metadata 2026-07-11T10:48:36,727 Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl.metadata (2.3 kB) 2026-07-11T10:48:36,906 Collecting packaging>=24.0 2026-07-11T10:48:36,907 Obtaining dependency information for packaging>=24.0 from https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl.metadata 2026-07-11T10:48:36,919 Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl.metadata (3.5 kB) 2026-07-11T10:48:37,108 Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl (32 kB) 2026-07-11T10:48:37,127 Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl (100 kB) 2026-07-11T10:48:37,203 Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl (1.0 MB) 2026-07-11T10:48:37,236 Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl (32 kB) 2026-07-11T10:48:37,263 Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl (100 kB) 2026-07-11T10:48:37,363 Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl (1.0 MB) 2026-07-11T10:48:40,145 Installing collected packages: setuptools, packaging, wheel 2026-07-11T10:48:43,783 Creating /tmp/pip-build-env-bbuey4nq/overlay/local/bin 2026-07-11T10:48:43,785 changing mode of /tmp/pip-build-env-bbuey4nq/overlay/local/bin/wheel to 755 2026-07-11T10:48:43,806 Successfully installed packaging-26.2 setuptools-83.0.0 wheel-0.47.0 2026-07-11T10:48:44,093 Installing build dependencies: finished with status 'done' 2026-07-11T10:48:44,099 Getting requirements to build wheel: started 2026-07-11T10:48:44,101 Running command Getting requirements to build wheel 2026-07-11T10:48:44,710 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated 2026-07-11T10:48:44,710 !! 2026-07-11T10:48:44,711 ******************************************************************************** 2026-07-11T10:48:44,712 Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0). 2026-07-11T10:48:44,712 By 2027-Feb-18, you need to update your project and remove deprecated calls 2026-07-11T10:48:44,713 or your builds will no longer be supported. 2026-07-11T10:48:44,714 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:44,714 ******************************************************************************** 2026-07-11T10:48:44,715 !! 2026-07-11T10:48:44,716 corresp(dist, value, root_dir) 2026-07-11T10:48:44,789 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-11T10:48:44,789 !! 2026-07-11T10:48:44,790 ******************************************************************************** 2026-07-11T10:48:44,791 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-11T10:48:44,792 License :: Other/Proprietary License 2026-07-11T10:48:44,793 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:44,793 ******************************************************************************** 2026-07-11T10:48:44,794 !! 2026-07-11T10:48:44,795 dist._finalize_license_expression() 2026-07-11T10:48:44,795 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-11T10:48:44,796 !! 2026-07-11T10:48:44,797 ******************************************************************************** 2026-07-11T10:48:44,798 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-11T10:48:44,799 License :: Other/Proprietary License 2026-07-11T10:48:44,800 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:44,801 ******************************************************************************** 2026-07-11T10:48:44,802 !! 2026-07-11T10:48:44,802 self._finalize_license_expression() 2026-07-11T10:48:44,803 running egg_info 2026-07-11T10:48:44,805 writing logicedit.egg-info/PKG-INFO 2026-07-11T10:48:44,810 writing dependency_links to logicedit.egg-info/dependency_links.txt 2026-07-11T10:48:44,812 writing entry points to logicedit.egg-info/entry_points.txt 2026-07-11T10:48:44,814 writing requirements to logicedit.egg-info/requires.txt 2026-07-11T10:48:44,815 writing top-level names to logicedit.egg-info/top_level.txt 2026-07-11T10:48:44,849 reading manifest file 'logicedit.egg-info/SOURCES.txt' 2026-07-11T10:48:44,856 writing manifest file 'logicedit.egg-info/SOURCES.txt' 2026-07-11T10:48:44,954 Getting requirements to build wheel: finished with status 'done' 2026-07-11T10:48:44,957 Created temporary directory: /tmp/pip-modern-metadata-w9_nx8wc 2026-07-11T10:48:44,960 Preparing metadata (pyproject.toml): started 2026-07-11T10:48:44,961 Running command Preparing metadata (pyproject.toml) 2026-07-11T10:48:45,521 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated 2026-07-11T10:48:45,521 !! 2026-07-11T10:48:45,522 ******************************************************************************** 2026-07-11T10:48:45,523 Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0). 2026-07-11T10:48:45,525 By 2027-Feb-18, you need to update your project and remove deprecated calls 2026-07-11T10:48:45,525 or your builds will no longer be supported. 2026-07-11T10:48:45,526 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:45,526 ******************************************************************************** 2026-07-11T10:48:45,527 !! 2026-07-11T10:48:45,528 corresp(dist, value, root_dir) 2026-07-11T10:48:45,597 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-11T10:48:45,597 !! 2026-07-11T10:48:45,598 ******************************************************************************** 2026-07-11T10:48:45,598 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-11T10:48:45,599 License :: Other/Proprietary License 2026-07-11T10:48:45,600 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:45,601 ******************************************************************************** 2026-07-11T10:48:45,602 !! 2026-07-11T10:48:45,602 dist._finalize_license_expression() 2026-07-11T10:48:45,603 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-11T10:48:45,603 !! 2026-07-11T10:48:45,604 ******************************************************************************** 2026-07-11T10:48:45,605 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-11T10:48:45,606 License :: Other/Proprietary License 2026-07-11T10:48:45,608 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:45,608 ******************************************************************************** 2026-07-11T10:48:45,609 !! 2026-07-11T10:48:45,610 self._finalize_license_expression() 2026-07-11T10:48:45,611 running dist_info 2026-07-11T10:48:45,618 creating /tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info 2026-07-11T10:48:45,619 writing /tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/PKG-INFO 2026-07-11T10:48:45,624 writing dependency_links to /tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/dependency_links.txt 2026-07-11T10:48:45,626 writing entry points to /tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/entry_points.txt 2026-07-11T10:48:45,629 writing requirements to /tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/requires.txt 2026-07-11T10:48:45,630 writing top-level names to /tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/top_level.txt 2026-07-11T10:48:45,632 writing manifest file '/tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/SOURCES.txt' 2026-07-11T10:48:45,661 reading manifest file '/tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/SOURCES.txt' 2026-07-11T10:48:45,666 writing manifest file '/tmp/pip-modern-metadata-w9_nx8wc/logicedit.egg-info/SOURCES.txt' 2026-07-11T10:48:45,667 creating '/tmp/pip-modern-metadata-w9_nx8wc/logicedit-0.1.7.dist-info' 2026-07-11T10:48:45,790 Preparing metadata (pyproject.toml): finished with status 'done' 2026-07-11T10:48:45,795 Source in /tmp/pip-wheel-qwrkscse/logicedit_c508350571a74ae2a23f305aabc3d535 has version 0.1.7, which satisfies requirement logicedit==0.1.7 from https://files.pythonhosted.org/packages/4e/6f/75ba7e1faf111a872ef67345d40b257fb8f0b96197c62b70f5717e654cc2/logicedit-0.1.7.tar.gz 2026-07-11T10:48:45,796 Removed logicedit==0.1.7 from https://files.pythonhosted.org/packages/4e/6f/75ba7e1faf111a872ef67345d40b257fb8f0b96197c62b70f5717e654cc2/logicedit-0.1.7.tar.gz from build tracker '/tmp/pip-build-tracker-g4mquzt1' 2026-07-11T10:48:45,802 Created temporary directory: /tmp/pip-unpack-5a9sp92t 2026-07-11T10:48:45,803 Building wheels for collected packages: logicedit 2026-07-11T10:48:45,807 Created temporary directory: /tmp/pip-wheel-obfhzx2i 2026-07-11T10:48:45,807 Destination directory: /tmp/pip-wheel-obfhzx2i 2026-07-11T10:48:45,809 Building wheel for logicedit (pyproject.toml): started 2026-07-11T10:48:45,810 Running command Building wheel for logicedit (pyproject.toml) 2026-07-11T10:48:46,361 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated 2026-07-11T10:48:46,362 !! 2026-07-11T10:48:46,363 ******************************************************************************** 2026-07-11T10:48:46,363 Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0). 2026-07-11T10:48:46,364 By 2027-Feb-18, you need to update your project and remove deprecated calls 2026-07-11T10:48:46,365 or your builds will no longer be supported. 2026-07-11T10:48:46,366 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:46,366 ******************************************************************************** 2026-07-11T10:48:46,367 !! 2026-07-11T10:48:46,368 corresp(dist, value, root_dir) 2026-07-11T10:48:46,431 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-11T10:48:46,432 !! 2026-07-11T10:48:46,433 ******************************************************************************** 2026-07-11T10:48:46,434 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-11T10:48:46,435 License :: Other/Proprietary License 2026-07-11T10:48:46,436 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:46,437 ******************************************************************************** 2026-07-11T10:48:46,438 !! 2026-07-11T10:48:46,439 dist._finalize_license_expression() 2026-07-11T10:48:46,439 /tmp/pip-build-env-bbuey4nq/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-11T10:48:46,440 !! 2026-07-11T10:48:46,441 ******************************************************************************** 2026-07-11T10:48:46,442 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-11T10:48:46,443 License :: Other/Proprietary License 2026-07-11T10:48:46,444 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-11T10:48:46,445 ******************************************************************************** 2026-07-11T10:48:46,446 !! 2026-07-11T10:48:46,447 self._finalize_license_expression() 2026-07-11T10:48:46,447 running bdist_wheel 2026-07-11T10:48:46,457 running build 2026-07-11T10:48:46,457 running build_py 2026-07-11T10:48:46,463 creating build/lib/logicedit 2026-07-11T10:48:46,466 copying logicedit/models.py -> build/lib/logicedit 2026-07-11T10:48:46,468 copying logicedit/cli.py -> build/lib/logicedit 2026-07-11T10:48:46,471 copying logicedit/__init__.py -> build/lib/logicedit 2026-07-11T10:48:46,473 copying logicedit/loader.py -> build/lib/logicedit 2026-07-11T10:48:46,475 creating build/lib/logicedit/editors 2026-07-11T10:48:46,476 copying logicedit/editors/formula_editor.py -> build/lib/logicedit/editors 2026-07-11T10:48:46,479 copying logicedit/editors/base.py -> build/lib/logicedit/editors 2026-07-11T10:48:46,481 copying logicedit/editors/z3_code_editor.py -> build/lib/logicedit/editors 2026-07-11T10:48:46,483 copying logicedit/editors/__init__.py -> build/lib/logicedit/editors 2026-07-11T10:48:46,485 copying logicedit/editors/code_editor.py -> build/lib/logicedit/editors 2026-07-11T10:48:46,487 creating build/lib/logicedit/storage 2026-07-11T10:48:46,488 copying logicedit/storage/writer.py -> build/lib/logicedit/storage 2026-07-11T10:48:46,490 copying logicedit/storage/__init__.py -> build/lib/logicedit/storage 2026-07-11T10:48:46,492 creating build/lib/logicedit/tools 2026-07-11T10:48:46,493 copying logicedit/tools/registry.py -> build/lib/logicedit/tools 2026-07-11T10:48:46,495 copying logicedit/tools/base.py -> build/lib/logicedit/tools 2026-07-11T10:48:46,497 copying logicedit/tools/__init__.py -> build/lib/logicedit/tools 2026-07-11T10:48:46,499 copying logicedit/tools/z3_solver_tool.py -> build/lib/logicedit/tools 2026-07-11T10:48:46,501 creating build/lib/logicedit/runners 2026-07-11T10:48:46,502 copying logicedit/runners/edit_runner.py -> build/lib/logicedit/runners 2026-07-11T10:48:46,505 copying logicedit/runners/__init__.py -> build/lib/logicedit/runners 2026-07-11T10:48:46,507 copying logicedit/runners/evaluator.py -> build/lib/logicedit/runners 2026-07-11T10:48:46,509 creating build/lib/logicedit/z3solver 2026-07-11T10:48:46,510 copying logicedit/z3solver/z3_solver_test.py -> build/lib/logicedit/z3solver 2026-07-11T10:48:46,513 copying logicedit/z3solver/sat_problem_solver.py -> build/lib/logicedit/z3solver 2026-07-11T10:48:46,516 copying logicedit/z3solver/__init__.py -> build/lib/logicedit/z3solver 2026-07-11T10:48:46,518 copying logicedit/z3solver/code_translator.py -> build/lib/logicedit/z3solver 2026-07-11T10:48:46,542 installing to build/bdist.linux-armv7l/wheel 2026-07-11T10:48:46,543 running install 2026-07-11T10:48:46,565 running install_lib 2026-07-11T10:48:46,571 creating build/bdist.linux-armv7l/wheel 2026-07-11T10:48:46,573 creating build/bdist.linux-armv7l/wheel/logicedit 2026-07-11T10:48:46,575 copying build/lib/logicedit/models.py -> build/bdist.linux-armv7l/wheel/./logicedit 2026-07-11T10:48:46,578 creating build/bdist.linux-armv7l/wheel/logicedit/editors 2026-07-11T10:48:46,579 copying build/lib/logicedit/editors/formula_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors 2026-07-11T10:48:46,581 copying build/lib/logicedit/editors/base.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors 2026-07-11T10:48:46,583 copying build/lib/logicedit/editors/z3_code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors 2026-07-11T10:48:46,585 copying build/lib/logicedit/editors/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors 2026-07-11T10:48:46,587 copying build/lib/logicedit/editors/code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors 2026-07-11T10:48:46,590 creating build/bdist.linux-armv7l/wheel/logicedit/storage 2026-07-11T10:48:46,590 copying build/lib/logicedit/storage/writer.py -> build/bdist.linux-armv7l/wheel/./logicedit/storage 2026-07-11T10:48:46,593 copying build/lib/logicedit/storage/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/storage 2026-07-11T10:48:46,595 creating build/bdist.linux-armv7l/wheel/logicedit/tools 2026-07-11T10:48:46,596 copying build/lib/logicedit/tools/registry.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools 2026-07-11T10:48:46,598 copying build/lib/logicedit/tools/base.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools 2026-07-11T10:48:46,601 copying build/lib/logicedit/tools/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools 2026-07-11T10:48:46,603 copying build/lib/logicedit/tools/z3_solver_tool.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools 2026-07-11T10:48:46,605 copying build/lib/logicedit/cli.py -> build/bdist.linux-armv7l/wheel/./logicedit 2026-07-11T10:48:46,607 copying build/lib/logicedit/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit 2026-07-11T10:48:46,609 creating build/bdist.linux-armv7l/wheel/logicedit/runners 2026-07-11T10:48:46,610 copying build/lib/logicedit/runners/edit_runner.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners 2026-07-11T10:48:46,613 copying build/lib/logicedit/runners/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners 2026-07-11T10:48:46,614 copying build/lib/logicedit/runners/evaluator.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners 2026-07-11T10:48:46,617 creating build/bdist.linux-armv7l/wheel/logicedit/z3solver 2026-07-11T10:48:46,618 copying build/lib/logicedit/z3solver/z3_solver_test.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver 2026-07-11T10:48:46,621 copying build/lib/logicedit/z3solver/sat_problem_solver.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver 2026-07-11T10:48:46,624 copying build/lib/logicedit/z3solver/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver 2026-07-11T10:48:46,626 copying build/lib/logicedit/z3solver/code_translator.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver 2026-07-11T10:48:46,628 copying build/lib/logicedit/loader.py -> build/bdist.linux-armv7l/wheel/./logicedit 2026-07-11T10:48:46,630 running install_egg_info 2026-07-11T10:48:46,639 running egg_info 2026-07-11T10:48:46,644 writing logicedit.egg-info/PKG-INFO 2026-07-11T10:48:46,648 writing dependency_links to logicedit.egg-info/dependency_links.txt 2026-07-11T10:48:46,650 writing entry points to logicedit.egg-info/entry_points.txt 2026-07-11T10:48:46,652 writing requirements to logicedit.egg-info/requires.txt 2026-07-11T10:48:46,653 writing top-level names to logicedit.egg-info/top_level.txt 2026-07-11T10:48:46,667 reading manifest file 'logicedit.egg-info/SOURCES.txt' 2026-07-11T10:48:46,674 writing manifest file 'logicedit.egg-info/SOURCES.txt' 2026-07-11T10:48:46,675 Copying logicedit.egg-info to build/bdist.linux-armv7l/wheel/./logicedit-0.1.7-py3.11.egg-info 2026-07-11T10:48:46,687 running install_scripts 2026-07-11T10:48:46,697 creating build/bdist.linux-armv7l/wheel/logicedit-0.1.7.dist-info/WHEEL 2026-07-11T10:48:46,700 creating '/tmp/pip-wheel-obfhzx2i/.tmp-a6di65ob/logicedit-0.1.7-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-07-11T10:48:46,702 adding 'logicedit/__init__.py' 2026-07-11T10:48:46,704 adding 'logicedit/cli.py' 2026-07-11T10:48:46,705 adding 'logicedit/loader.py' 2026-07-11T10:48:46,707 adding 'logicedit/models.py' 2026-07-11T10:48:46,709 adding 'logicedit/editors/__init__.py' 2026-07-11T10:48:46,710 adding 'logicedit/editors/base.py' 2026-07-11T10:48:46,712 adding 'logicedit/editors/code_editor.py' 2026-07-11T10:48:46,713 adding 'logicedit/editors/formula_editor.py' 2026-07-11T10:48:46,715 adding 'logicedit/editors/z3_code_editor.py' 2026-07-11T10:48:46,716 adding 'logicedit/runners/__init__.py' 2026-07-11T10:48:46,718 adding 'logicedit/runners/edit_runner.py' 2026-07-11T10:48:46,720 adding 'logicedit/runners/evaluator.py' 2026-07-11T10:48:46,722 adding 'logicedit/storage/__init__.py' 2026-07-11T10:48:46,723 adding 'logicedit/storage/writer.py' 2026-07-11T10:48:46,725 adding 'logicedit/tools/__init__.py' 2026-07-11T10:48:46,726 adding 'logicedit/tools/base.py' 2026-07-11T10:48:46,728 adding 'logicedit/tools/registry.py' 2026-07-11T10:48:46,729 adding 'logicedit/tools/z3_solver_tool.py' 2026-07-11T10:48:46,731 adding 'logicedit/z3solver/__init__.py' 2026-07-11T10:48:46,733 adding 'logicedit/z3solver/code_translator.py' 2026-07-11T10:48:46,735 adding 'logicedit/z3solver/sat_problem_solver.py' 2026-07-11T10:48:46,738 adding 'logicedit/z3solver/z3_solver_test.py' 2026-07-11T10:48:46,741 adding 'logicedit-0.1.7.dist-info/METADATA' 2026-07-11T10:48:46,742 adding 'logicedit-0.1.7.dist-info/WHEEL' 2026-07-11T10:48:46,743 adding 'logicedit-0.1.7.dist-info/entry_points.txt' 2026-07-11T10:48:46,744 adding 'logicedit-0.1.7.dist-info/top_level.txt' 2026-07-11T10:48:46,746 adding 'logicedit-0.1.7.dist-info/RECORD' 2026-07-11T10:48:46,747 removing build/bdist.linux-armv7l/wheel 2026-07-11T10:48:46,857 Building wheel for logicedit (pyproject.toml): finished with status 'done' 2026-07-11T10:48:46,862 Created wheel for logicedit: filename=logicedit-0.1.7-py3-none-any.whl size=31832 sha256=0e21566ac9181694bf844dc0ee8a4f230dde13c16331a177ec2fe160c8ae1d3f 2026-07-11T10:48:46,863 Stored in directory: /tmp/pip-ephem-wheel-cache-cjk2_ljk/wheels/af/b0/e3/d03075b81180299760f2620e42523b446853348479c7ce3c98 2026-07-11T10:48:46,874 Successfully built logicedit 2026-07-11T10:48:46,878 Removed build tracker: '/tmp/pip-build-tracker-g4mquzt1'