2026-07-11T10:49:14,790 Created temporary directory: /tmp/pip-ephem-wheel-cache-lc5n4_kq
2026-07-11T10:49:14,793 Created temporary directory: /tmp/pip-build-tracker-v5h1igfh
2026-07-11T10:49:14,794 Initialized build tracking at /tmp/pip-build-tracker-v5h1igfh
2026-07-11T10:49:14,795 Created build tracker: /tmp/pip-build-tracker-v5h1igfh
2026-07-11T10:49:14,795 Entered build tracker: /tmp/pip-build-tracker-v5h1igfh
2026-07-11T10:49:14,797 Created temporary directory: /tmp/pip-wheel-tinrs7jk
2026-07-11T10:49:14,800 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:49:14,802 Created temporary directory: /tmp/pip-ephem-wheel-cache-0ymuwi90
2026-07-11T10:49:14,824 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-07-11T10:49:14,827 2 location(s) to search for versions of logicedit:
2026-07-11T10:49:14,827 * https://pypi.org/simple/logicedit/
2026-07-11T10:49:14,827 * https://www.piwheels.org/simple/logicedit/
2026-07-11T10:49:14,828 Fetching project page and analyzing links: https://pypi.org/simple/logicedit/
2026-07-11T10:49:14,829 Getting page https://pypi.org/simple/logicedit/
2026-07-11T10:49:14,830 Found index url https://pypi.org/simple
2026-07-11T10:49:15,085 Fetched page https://pypi.org/simple/logicedit/ as application/vnd.pypi.simple.v1+json
2026-07-11T10:49:15,088   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:49:15,089   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:49:15,089   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:49:15,090   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:49:15,091   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:49:15,092   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:49:15,093   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:49:15,094   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:49:15,095 Fetching project page and analyzing links: https://www.piwheels.org/simple/logicedit/
2026-07-11T10:49:15,096 Getting page https://www.piwheels.org/simple/logicedit/
2026-07-11T10:49:15,097 Found index url https://www.piwheels.org/simple
2026-07-11T10:49:15,399 Fetched page https://www.piwheels.org/simple/logicedit/ as text/html
2026-07-11T10:49:15,400 Skipping link: not a file: https://www.piwheels.org/simple/logicedit/
2026-07-11T10:49:15,401 Skipping link: not a file: https://pypi.org/simple/logicedit/
2026-07-11T10:49:15,423 Given no hashes to check 1 links for project 'logicedit': discarding no candidates
2026-07-11T10:49:15,443 Collecting logicedit==0.1.9
2026-07-11T10:49:15,445   Created temporary directory: /tmp/pip-unpack-oajl5wna
2026-07-11T10:49:15,696   Downloading logicedit-0.1.9.tar.gz (39 kB)
2026-07-11T10:49:15,844   Added logicedit==0.1.9 from https://files.pythonhosted.org/packages/8a/90/7bfbdf5f590dbef8cd9be547a2bfe0523c8d41e0f7fff48b51e3004c0c82/logicedit-0.1.9.tar.gz to build tracker '/tmp/pip-build-tracker-v5h1igfh'
2026-07-11T10:49:15,851   Created temporary directory: /tmp/pip-build-env-fbrq45xr
2026-07-11T10:49:15,857   Installing build dependencies: started
2026-07-11T10:49:15,859   Running command pip subprocess to install build dependencies
2026-07-11T10:49:17,873   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-07-11T10:49:18,596   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:49:18,620   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-07-11T10:49:20,601   Collecting setuptools>=68
2026-07-11T10:49:20,602     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:49:20,619     Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl.metadata (6.6 kB)
2026-07-11T10:49:21,072   Collecting wheel
2026-07-11T10:49:21,073     Obtaining dependency information for wheel from https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl.metadata
2026-07-11T10:49:21,085     Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl.metadata (2.3 kB)
2026-07-11T10:49:21,265   Collecting packaging>=24.0
2026-07-11T10:49:21,266     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:49:21,279     Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl.metadata (3.5 kB)
2026-07-11T10:49:21,478   Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl (32 kB)
2026-07-11T10:49:21,500   Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl (100 kB)
2026-07-11T10:49:21,586   Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl (1.0 MB)
2026-07-11T10:49:21,648   Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl (32 kB)
2026-07-11T10:49:21,682   Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl (100 kB)
2026-07-11T10:49:21,798   Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl (1.0 MB)
2026-07-11T10:49:24,548   Installing collected packages: setuptools, packaging, wheel
2026-07-11T10:49:28,378     Creating /tmp/pip-build-env-fbrq45xr/overlay/local/bin
2026-07-11T10:49:28,380     changing mode of /tmp/pip-build-env-fbrq45xr/overlay/local/bin/wheel to 755
2026-07-11T10:49:28,400   Successfully installed packaging-26.2 setuptools-83.0.0 wheel-0.47.0
2026-07-11T10:49:28,690   Installing build dependencies: finished with status 'done'
2026-07-11T10:49:28,697   Getting requirements to build wheel: started
2026-07-11T10:49:28,698   Running command Getting requirements to build wheel
2026-07-11T10:49:29,472   /tmp/pip-build-env-fbrq45xr/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:49:29,472   !!

2026-07-11T10:49:29,473           ********************************************************************************
2026-07-11T10:49:29,474           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:49:29,475           By 2027-Feb-18, you need to update your project and remove deprecated calls
2026-07-11T10:49:29,475           or your builds will no longer be supported.

2026-07-11T10:49:29,476           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:49:29,476           ********************************************************************************

2026-07-11T10:49:29,477   !!
2026-07-11T10:49:29,478     corresp(dist, value, root_dir)
2026-07-11T10:49:29,478   /tmp/pip-build-env-fbrq45xr/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:55: SetuptoolsDeprecationWarning: 'tool.setuptools.license-files' is deprecated in favor of 'project.license-files' (available on setuptools>=77.0.0).
2026-07-11T10:49:29,479   !!

2026-07-11T10:49:29,480           ********************************************************************************

2026-07-11T10:49:29,481           By 2027-Feb-18, you need to update your project and remove deprecated calls
2026-07-11T10:49:29,481           or your builds will no longer be supported.

2026-07-11T10:49:29,482           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license-files for details.
2026-07-11T10:49:29,482           ********************************************************************************

2026-07-11T10:49:29,484   !!
2026-07-11T10:49:29,484     _apply_tool_table(dist, config, filename)
2026-07-11T10:49:29,561   running egg_info
2026-07-11T10:49:29,566   writing logicedit.egg-info/PKG-INFO
2026-07-11T10:49:29,571   writing dependency_links to logicedit.egg-info/dependency_links.txt
2026-07-11T10:49:29,573   writing entry points to logicedit.egg-info/entry_points.txt
2026-07-11T10:49:29,575   writing requirements to logicedit.egg-info/requires.txt
2026-07-11T10:49:29,577   writing top-level names to logicedit.egg-info/top_level.txt
2026-07-11T10:49:29,611   reading manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:49:29,615   adding license file 'LICENSE'
2026-07-11T10:49:29,619   writing manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:49:29,718   Getting requirements to build wheel: finished with status 'done'
2026-07-11T10:49:29,722   Created temporary directory: /tmp/pip-modern-metadata-b3f61yfu
2026-07-11T10:49:29,724   Preparing metadata (pyproject.toml): started
2026-07-11T10:49:29,725   Running command Preparing metadata (pyproject.toml)
2026-07-11T10:49:30,280   /tmp/pip-build-env-fbrq45xr/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:49:30,280   !!

2026-07-11T10:49:30,281           ********************************************************************************
2026-07-11T10:49:30,282           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:49:30,283           By 2027-Feb-18, you need to update your project and remove deprecated calls
2026-07-11T10:49:30,283           or your builds will no longer be supported.

2026-07-11T10:49:30,285           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:49:30,285           ********************************************************************************

2026-07-11T10:49:30,286   !!
2026-07-11T10:49:30,287     corresp(dist, value, root_dir)
2026-07-11T10:49:30,288   /tmp/pip-build-env-fbrq45xr/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:55: SetuptoolsDeprecationWarning: 'tool.setuptools.license-files' is deprecated in favor of 'project.license-files' (available on setuptools>=77.0.0).
2026-07-11T10:49:30,288   !!

2026-07-11T10:49:30,290           ********************************************************************************

2026-07-11T10:49:30,290           By 2027-Feb-18, you need to update your project and remove deprecated calls
2026-07-11T10:49:30,291           or your builds will no longer be supported.

2026-07-11T10:49:30,292           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license-files for details.
2026-07-11T10:49:30,292           ********************************************************************************

2026-07-11T10:49:30,293   !!
2026-07-11T10:49:30,294     _apply_tool_table(dist, config, filename)
2026-07-11T10:49:30,362   running dist_info
2026-07-11T10:49:30,372   creating /tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info
2026-07-11T10:49:30,373   writing /tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/PKG-INFO
2026-07-11T10:49:30,378   writing dependency_links to /tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/dependency_links.txt
2026-07-11T10:49:30,379   writing entry points to /tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/entry_points.txt
2026-07-11T10:49:30,381   writing requirements to /tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/requires.txt
2026-07-11T10:49:30,382   writing top-level names to /tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/top_level.txt
2026-07-11T10:49:30,384   writing manifest file '/tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/SOURCES.txt'
2026-07-11T10:49:30,416   reading manifest file '/tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/SOURCES.txt'
2026-07-11T10:49:30,418   adding license file 'LICENSE'
2026-07-11T10:49:30,421   writing manifest file '/tmp/pip-modern-metadata-b3f61yfu/logicedit.egg-info/SOURCES.txt'
2026-07-11T10:49:30,422   creating '/tmp/pip-modern-metadata-b3f61yfu/logicedit-0.1.9.dist-info'
2026-07-11T10:49:30,548   Preparing metadata (pyproject.toml): finished with status 'done'
2026-07-11T10:49:30,552   Source in /tmp/pip-wheel-tinrs7jk/logicedit_9c02edf23dba431e98fb9ad3993ec96d has version 0.1.9, which satisfies requirement logicedit==0.1.9 from https://files.pythonhosted.org/packages/8a/90/7bfbdf5f590dbef8cd9be547a2bfe0523c8d41e0f7fff48b51e3004c0c82/logicedit-0.1.9.tar.gz
2026-07-11T10:49:30,553   Removed logicedit==0.1.9 from https://files.pythonhosted.org/packages/8a/90/7bfbdf5f590dbef8cd9be547a2bfe0523c8d41e0f7fff48b51e3004c0c82/logicedit-0.1.9.tar.gz from build tracker '/tmp/pip-build-tracker-v5h1igfh'
2026-07-11T10:49:30,559 Created temporary directory: /tmp/pip-unpack-a7rzhhw2
2026-07-11T10:49:30,560 Building wheels for collected packages: logicedit
2026-07-11T10:49:30,565   Created temporary directory: /tmp/pip-wheel-stiotos0
2026-07-11T10:49:30,565   Destination directory: /tmp/pip-wheel-stiotos0
2026-07-11T10:49:30,567   Building wheel for logicedit (pyproject.toml): started
2026-07-11T10:49:30,568   Running command Building wheel for logicedit (pyproject.toml)
2026-07-11T10:49:31,114   /tmp/pip-build-env-fbrq45xr/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:49:31,114   !!

2026-07-11T10:49:31,115           ********************************************************************************
2026-07-11T10:49:31,116           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:49:31,117           By 2027-Feb-18, you need to update your project and remove deprecated calls
2026-07-11T10:49:31,118           or your builds will no longer be supported.

2026-07-11T10:49:31,119           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:49:31,120           ********************************************************************************

2026-07-11T10:49:31,121   !!
2026-07-11T10:49:31,121     corresp(dist, value, root_dir)
2026-07-11T10:49:31,122   /tmp/pip-build-env-fbrq45xr/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:55: SetuptoolsDeprecationWarning: 'tool.setuptools.license-files' is deprecated in favor of 'project.license-files' (available on setuptools>=77.0.0).
2026-07-11T10:49:31,122   !!

2026-07-11T10:49:31,123           ********************************************************************************

2026-07-11T10:49:31,124           By 2027-Feb-18, you need to update your project and remove deprecated calls
2026-07-11T10:49:31,125           or your builds will no longer be supported.

2026-07-11T10:49:31,126           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license-files for details.
2026-07-11T10:49:31,126           ********************************************************************************

2026-07-11T10:49:31,127   !!
2026-07-11T10:49:31,127     _apply_tool_table(dist, config, filename)
2026-07-11T10:49:31,185   running bdist_wheel
2026-07-11T10:49:31,202   running build
2026-07-11T10:49:31,203   running build_py
2026-07-11T10:49:31,208   creating build/lib/logicedit
2026-07-11T10:49:31,210   copying logicedit/cli.py -> build/lib/logicedit
2026-07-11T10:49:31,212   copying logicedit/loader.py -> build/lib/logicedit
2026-07-11T10:49:31,214   copying logicedit/__init__.py -> build/lib/logicedit
2026-07-11T10:49:31,216   copying logicedit/models.py -> build/lib/logicedit
2026-07-11T10:49:31,219   creating build/lib/logicedit/storage
2026-07-11T10:49:31,220   copying logicedit/storage/writer.py -> build/lib/logicedit/storage
2026-07-11T10:49:31,222   copying logicedit/storage/__init__.py -> build/lib/logicedit/storage
2026-07-11T10:49:31,224   creating build/lib/logicedit/z3solver
2026-07-11T10:49:31,225   copying logicedit/z3solver/z3_solver_test.py -> build/lib/logicedit/z3solver
2026-07-11T10:49:31,228   copying logicedit/z3solver/__init__.py -> build/lib/logicedit/z3solver
2026-07-11T10:49:31,230   copying logicedit/z3solver/code_translator.py -> build/lib/logicedit/z3solver
2026-07-11T10:49:31,232   copying logicedit/z3solver/sat_problem_solver.py -> build/lib/logicedit/z3solver
2026-07-11T10:49:31,235   creating build/lib/logicedit/fol_solver
2026-07-11T10:49:31,236   copying logicedit/fol_solver/fol_prover9_parser.py -> build/lib/logicedit/fol_solver
2026-07-11T10:49:31,239   copying logicedit/fol_solver/__init__.py -> build/lib/logicedit/fol_solver
2026-07-11T10:49:31,240   copying logicedit/fol_solver/fol_parser.py -> build/lib/logicedit/fol_solver
2026-07-11T10:49:31,243   copying logicedit/fol_solver/prover9_solver.py -> build/lib/logicedit/fol_solver
2026-07-11T10:49:31,245   copying logicedit/fol_solver/Formula.py -> build/lib/logicedit/fol_solver
2026-07-11T10:49:31,248   creating build/lib/logicedit/runners
2026-07-11T10:49:31,249   copying logicedit/runners/edit_runner.py -> build/lib/logicedit/runners
2026-07-11T10:49:31,251   copying logicedit/runners/evaluator.py -> build/lib/logicedit/runners
2026-07-11T10:49:31,253   copying logicedit/runners/__init__.py -> build/lib/logicedit/runners
2026-07-11T10:49:31,256   creating build/lib/logicedit/editors
2026-07-11T10:49:31,257   copying logicedit/editors/base.py -> build/lib/logicedit/editors
2026-07-11T10:49:31,259   copying logicedit/editors/code_editor.py -> build/lib/logicedit/editors
2026-07-11T10:49:31,261   copying logicedit/editors/prover9_code_editor.py -> build/lib/logicedit/editors
2026-07-11T10:49:31,263   copying logicedit/editors/formula_editor.py -> build/lib/logicedit/editors
2026-07-11T10:49:31,265   copying logicedit/editors/__init__.py -> build/lib/logicedit/editors
2026-07-11T10:49:31,266   copying logicedit/editors/z3_code_editor.py -> build/lib/logicedit/editors
2026-07-11T10:49:31,269   creating build/lib/logicedit/tools
2026-07-11T10:49:31,270   copying logicedit/tools/base.py -> build/lib/logicedit/tools
2026-07-11T10:49:31,272   copying logicedit/tools/registry.py -> build/lib/logicedit/tools
2026-07-11T10:49:31,274   copying logicedit/tools/prover9_solver_tool.py -> build/lib/logicedit/tools
2026-07-11T10:49:31,276   copying logicedit/tools/z3_solver_tool.py -> build/lib/logicedit/tools
2026-07-11T10:49:31,278   copying logicedit/tools/__init__.py -> build/lib/logicedit/tools
2026-07-11T10:49:31,304   installing to build/bdist.linux-armv7l/wheel
2026-07-11T10:49:31,305   running install
2026-07-11T10:49:31,327   running install_lib
2026-07-11T10:49:31,333   creating build/bdist.linux-armv7l/wheel
2026-07-11T10:49:31,335   creating build/bdist.linux-armv7l/wheel/logicedit
2026-07-11T10:49:31,336   creating build/bdist.linux-armv7l/wheel/logicedit/storage
2026-07-11T10:49:31,338   copying build/lib/logicedit/storage/writer.py -> build/bdist.linux-armv7l/wheel/./logicedit/storage
2026-07-11T10:49:31,339   copying build/lib/logicedit/storage/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/storage
2026-07-11T10:49:31,342   creating build/bdist.linux-armv7l/wheel/logicedit/z3solver
2026-07-11T10:49:31,343   copying build/lib/logicedit/z3solver/z3_solver_test.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:49:31,346   copying build/lib/logicedit/z3solver/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:49:31,348   copying build/lib/logicedit/z3solver/code_translator.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:49:31,351   copying build/lib/logicedit/z3solver/sat_problem_solver.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:49:31,353   copying build/lib/logicedit/cli.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:49:31,355   creating build/bdist.linux-armv7l/wheel/logicedit/fol_solver
2026-07-11T10:49:31,356   copying build/lib/logicedit/fol_solver/fol_prover9_parser.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:49:31,359   copying build/lib/logicedit/fol_solver/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:49:31,361   copying build/lib/logicedit/fol_solver/fol_parser.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:49:31,363   copying build/lib/logicedit/fol_solver/prover9_solver.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:49:31,365   copying build/lib/logicedit/fol_solver/Formula.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:49:31,369   creating build/bdist.linux-armv7l/wheel/logicedit/runners
2026-07-11T10:49:31,370   copying build/lib/logicedit/runners/edit_runner.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners
2026-07-11T10:49:31,372   copying build/lib/logicedit/runners/evaluator.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners
2026-07-11T10:49:31,374   copying build/lib/logicedit/runners/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners
2026-07-11T10:49:31,376   copying build/lib/logicedit/loader.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:49:31,378   copying build/lib/logicedit/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:49:31,380   copying build/lib/logicedit/models.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:49:31,383   creating build/bdist.linux-armv7l/wheel/logicedit/editors
2026-07-11T10:49:31,384   copying build/lib/logicedit/editors/base.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:49:31,386   copying build/lib/logicedit/editors/code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:49:31,388   copying build/lib/logicedit/editors/prover9_code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:49:31,390   copying build/lib/logicedit/editors/formula_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:49:31,392   copying build/lib/logicedit/editors/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:49:31,394   copying build/lib/logicedit/editors/z3_code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:49:31,396   creating build/bdist.linux-armv7l/wheel/logicedit/tools
2026-07-11T10:49:31,397   copying build/lib/logicedit/tools/base.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:49:31,401   copying build/lib/logicedit/tools/registry.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:49:31,403   copying build/lib/logicedit/tools/prover9_solver_tool.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:49:31,405   copying build/lib/logicedit/tools/z3_solver_tool.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:49:31,407   copying build/lib/logicedit/tools/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:49:31,409   running install_egg_info
2026-07-11T10:49:31,418   running egg_info
2026-07-11T10:49:31,423   writing logicedit.egg-info/PKG-INFO
2026-07-11T10:49:31,428   writing dependency_links to logicedit.egg-info/dependency_links.txt
2026-07-11T10:49:31,429   writing entry points to logicedit.egg-info/entry_points.txt
2026-07-11T10:49:31,432   writing requirements to logicedit.egg-info/requires.txt
2026-07-11T10:49:31,433   writing top-level names to logicedit.egg-info/top_level.txt
2026-07-11T10:49:31,447   reading manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:49:31,451   adding license file 'LICENSE'
2026-07-11T10:49:31,455   writing manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:49:31,456   Copying logicedit.egg-info to build/bdist.linux-armv7l/wheel/./logicedit-0.1.9-py3.11.egg-info
2026-07-11T10:49:31,468   running install_scripts
2026-07-11T10:49:31,479   creating build/bdist.linux-armv7l/wheel/logicedit-0.1.9.dist-info/WHEEL
2026-07-11T10:49:31,482   creating '/tmp/pip-wheel-stiotos0/.tmp-vxlucy1g/logicedit-0.1.9-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2026-07-11T10:49:31,484   adding 'logicedit/__init__.py'
2026-07-11T10:49:31,486   adding 'logicedit/cli.py'
2026-07-11T10:49:31,487   adding 'logicedit/loader.py'
2026-07-11T10:49:31,489   adding 'logicedit/models.py'
2026-07-11T10:49:31,491   adding 'logicedit/editors/__init__.py'
2026-07-11T10:49:31,493   adding 'logicedit/editors/base.py'
2026-07-11T10:49:31,494   adding 'logicedit/editors/code_editor.py'
2026-07-11T10:49:31,496   adding 'logicedit/editors/formula_editor.py'
2026-07-11T10:49:31,497   adding 'logicedit/editors/prover9_code_editor.py'
2026-07-11T10:49:31,498   adding 'logicedit/editors/z3_code_editor.py'
2026-07-11T10:49:31,500   adding 'logicedit/fol_solver/Formula.py'
2026-07-11T10:49:31,501   adding 'logicedit/fol_solver/__init__.py'
2026-07-11T10:49:31,503   adding 'logicedit/fol_solver/fol_parser.py'
2026-07-11T10:49:31,505   adding 'logicedit/fol_solver/fol_prover9_parser.py'
2026-07-11T10:49:31,507   adding 'logicedit/fol_solver/prover9_solver.py'
2026-07-11T10:49:31,509   adding 'logicedit/runners/__init__.py'
2026-07-11T10:49:31,511   adding 'logicedit/runners/edit_runner.py'
2026-07-11T10:49:31,512   adding 'logicedit/runners/evaluator.py'
2026-07-11T10:49:31,514   adding 'logicedit/storage/__init__.py'
2026-07-11T10:49:31,515   adding 'logicedit/storage/writer.py'
2026-07-11T10:49:31,517   adding 'logicedit/tools/__init__.py'
2026-07-11T10:49:31,518   adding 'logicedit/tools/base.py'
2026-07-11T10:49:31,520   adding 'logicedit/tools/prover9_solver_tool.py'
2026-07-11T10:49:31,521   adding 'logicedit/tools/registry.py'
2026-07-11T10:49:31,522   adding 'logicedit/tools/z3_solver_tool.py'
2026-07-11T10:49:31,524   adding 'logicedit/z3solver/__init__.py'
2026-07-11T10:49:31,526   adding 'logicedit/z3solver/code_translator.py'
2026-07-11T10:49:31,528   adding 'logicedit/z3solver/sat_problem_solver.py'
2026-07-11T10:49:31,531   adding 'logicedit/z3solver/z3_solver_test.py'
2026-07-11T10:49:31,534   adding 'logicedit-0.1.9.dist-info/licenses/LICENSE'
2026-07-11T10:49:31,536   adding 'logicedit-0.1.9.dist-info/METADATA'
2026-07-11T10:49:31,537   adding 'logicedit-0.1.9.dist-info/WHEEL'
2026-07-11T10:49:31,538   adding 'logicedit-0.1.9.dist-info/entry_points.txt'
2026-07-11T10:49:31,539   adding 'logicedit-0.1.9.dist-info/top_level.txt'
2026-07-11T10:49:31,540   adding 'logicedit-0.1.9.dist-info/RECORD'
2026-07-11T10:49:31,542   removing build/bdist.linux-armv7l/wheel
2026-07-11T10:49:31,653   Building wheel for logicedit (pyproject.toml): finished with status 'done'
2026-07-11T10:49:31,658   Created wheel for logicedit: filename=logicedit-0.1.9-py3-none-any.whl size=43559 sha256=1849a2bf9a9be09e4adf300372a1df4cddce89b5e1157b25ab33658e42f7055e
2026-07-11T10:49:31,660   Stored in directory: /tmp/pip-ephem-wheel-cache-0ymuwi90/wheels/1d/8f/06/20cc5b8911bf8e23b36ef444737bf4ba22576f0ae3d934d69f
2026-07-11T10:49:31,671 Successfully built logicedit
2026-07-11T10:49:31,676 Removed build tracker: '/tmp/pip-build-tracker-v5h1igfh'