2026-07-11T10:48:32,252 Created temporary directory: /tmp/pip-ephem-wheel-cache-qfckckr4
2026-07-11T10:48:32,254 Created temporary directory: /tmp/pip-build-tracker-jh8yhrij
2026-07-11T10:48:32,254 Initialized build tracking at /tmp/pip-build-tracker-jh8yhrij
2026-07-11T10:48:32,255 Created build tracker: /tmp/pip-build-tracker-jh8yhrij
2026-07-11T10:48:32,255 Entered build tracker: /tmp/pip-build-tracker-jh8yhrij
2026-07-11T10:48:32,256 Created temporary directory: /tmp/pip-wheel-2zp7p2bj
2026-07-11T10:48:32,259 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:32,261 Created temporary directory: /tmp/pip-ephem-wheel-cache-32o5ibo8
2026-07-11T10:48:32,284 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-07-11T10:48:32,287 2 location(s) to search for versions of logicedit:
2026-07-11T10:48:32,287 * https://pypi.org/simple/logicedit/
2026-07-11T10:48:32,287 * https://www.piwheels.org/simple/logicedit/
2026-07-11T10:48:32,288 Fetching project page and analyzing links: https://pypi.org/simple/logicedit/
2026-07-11T10:48:32,289 Getting page https://pypi.org/simple/logicedit/
2026-07-11T10:48:32,290 Found index url https://pypi.org/simple
2026-07-11T10:48:32,439 Fetched page https://pypi.org/simple/logicedit/ as application/vnd.pypi.simple.v1+json
2026-07-11T10:48:32,442   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,443   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,444   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,444   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,445   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,446   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,447   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,448   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,448 Fetching project page and analyzing links: https://www.piwheels.org/simple/logicedit/
2026-07-11T10:48:32,449 Getting page https://www.piwheels.org/simple/logicedit/
2026-07-11T10:48:32,450 Found index url https://www.piwheels.org/simple
2026-07-11T10:48:32,631 Fetched page https://www.piwheels.org/simple/logicedit/ as text/html
2026-07-11T10:48:32,632 Skipping link: not a file: https://www.piwheels.org/simple/logicedit/
2026-07-11T10:48:32,633 Skipping link: not a file: https://pypi.org/simple/logicedit/
2026-07-11T10:48:32,654 Given no hashes to check 1 links for project 'logicedit': discarding no candidates
2026-07-11T10:48:32,673 Collecting logicedit==0.1.8
2026-07-11T10:48:32,675   Created temporary directory: /tmp/pip-unpack-z4yo7bc8
2026-07-11T10:48:32,900   Downloading logicedit-0.1.8.tar.gz (39 kB)
2026-07-11T10:48:33,006   Added logicedit==0.1.8 from https://files.pythonhosted.org/packages/cc/29/43601a0a0a496ef5cc45bb118f48c18a1e7041db2c0ba27847de36ca6423/logicedit-0.1.8.tar.gz to build tracker '/tmp/pip-build-tracker-jh8yhrij'
2026-07-11T10:48:33,011   Created temporary directory: /tmp/pip-build-env-id07va8w
2026-07-11T10:48:33,015   Installing build dependencies: started
2026-07-11T10:48:33,017   Running command pip subprocess to install build dependencies
2026-07-11T10:48:34,181   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-07-11T10:48:34,595   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,618   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-07-11T10:48:36,389   Collecting setuptools>=68
2026-07-11T10:48:36,390     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,405     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,642   Collecting wheel
2026-07-11T10:48:36,643     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,656     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,840   Collecting packaging>=24.0
2026-07-11T10:48:36,841     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,854     Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl.metadata (3.5 kB)
2026-07-11T10:48:37,047   Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl (32 kB)
2026-07-11T10:48:37,066   Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl (100 kB)
2026-07-11T10:48:37,161   Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl (1.0 MB)
2026-07-11T10:48:37,199   Using cached https://www.piwheels.org/simple/wheel/wheel-0.47.0-py3-none-any.whl (32 kB)
2026-07-11T10:48:37,224   Using cached https://www.piwheels.org/simple/packaging/packaging-26.2-py3-none-any.whl (100 kB)
2026-07-11T10:48:37,318   Using cached https://www.piwheels.org/simple/setuptools/setuptools-83.0.0-py3-none-any.whl (1.0 MB)
2026-07-11T10:48:40,122   Installing collected packages: setuptools, packaging, wheel
2026-07-11T10:48:43,650     Creating /tmp/pip-build-env-id07va8w/overlay/local/bin
2026-07-11T10:48:43,653     changing mode of /tmp/pip-build-env-id07va8w/overlay/local/bin/wheel to 755
2026-07-11T10:48:43,675   Successfully installed packaging-26.2 setuptools-83.0.0 wheel-0.47.0
2026-07-11T10:48:43,962   Installing build dependencies: finished with status 'done'
2026-07-11T10:48:43,969   Getting requirements to build wheel: started
2026-07-11T10:48:43,970   Running command Getting requirements to build wheel
2026-07-11T10:48:44,589   /tmp/pip-build-env-id07va8w/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,589   !!

2026-07-11T10:48:44,590           ********************************************************************************
2026-07-11T10:48:44,590           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,591           By 2027-Feb-18, you need to update your project and remove deprecated calls
2026-07-11T10:48:44,592           or your builds will no longer be supported.

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

2026-07-11T10:48:44,594   !!
2026-07-11T10:48:44,595     corresp(dist, value, root_dir)
2026-07-11T10:48:44,666   /tmp/pip-build-env-id07va8w/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-11T10:48:44,667   !!

2026-07-11T10:48:44,668           ********************************************************************************
2026-07-11T10:48:44,668           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-11T10:48:44,669           License :: Other/Proprietary License

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

2026-07-11T10:48:44,672   !!
2026-07-11T10:48:44,672     dist._finalize_license_expression()
2026-07-11T10:48:44,673   /tmp/pip-build-env-id07va8w/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-11T10:48:44,674   !!

2026-07-11T10:48:44,675           ********************************************************************************
2026-07-11T10:48:44,675           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-11T10:48:44,677           License :: Other/Proprietary License

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

2026-07-11T10:48:44,680   !!
2026-07-11T10:48:44,680     self._finalize_license_expression()
2026-07-11T10:48:44,681   running egg_info
2026-07-11T10:48:44,686   writing logicedit.egg-info/PKG-INFO
2026-07-11T10:48:44,691   writing dependency_links to logicedit.egg-info/dependency_links.txt
2026-07-11T10:48:44,693   writing entry points to logicedit.egg-info/entry_points.txt
2026-07-11T10:48:44,695   writing requirements to logicedit.egg-info/requires.txt
2026-07-11T10:48:44,697   writing top-level names to logicedit.egg-info/top_level.txt
2026-07-11T10:48:44,732   reading manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:48:44,739   writing manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:48:44,837   Getting requirements to build wheel: finished with status 'done'
2026-07-11T10:48:44,841   Created temporary directory: /tmp/pip-modern-metadata-abdxeox4
2026-07-11T10:48:44,843   Preparing metadata (pyproject.toml): started
2026-07-11T10:48:44,844   Running command Preparing metadata (pyproject.toml)
2026-07-11T10:48:45,398   /tmp/pip-build-env-id07va8w/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,399   !!

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

2026-07-11T10:48:45,403           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:48:45,404           ********************************************************************************

2026-07-11T10:48:45,404   !!
2026-07-11T10:48:45,405     corresp(dist, value, root_dir)
2026-07-11T10:48:45,473   /tmp/pip-build-env-id07va8w/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-11T10:48:45,474   !!

2026-07-11T10:48:45,475           ********************************************************************************
2026-07-11T10:48:45,475           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-11T10:48:45,476           License :: Other/Proprietary License

2026-07-11T10:48:45,477           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:48:45,478           ********************************************************************************

2026-07-11T10:48:45,479   !!
2026-07-11T10:48:45,479     dist._finalize_license_expression()
2026-07-11T10:48:45,480   /tmp/pip-build-env-id07va8w/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-11T10:48:45,481   !!

2026-07-11T10:48:45,482           ********************************************************************************
2026-07-11T10:48:45,482           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-11T10:48:45,484           License :: Other/Proprietary License

2026-07-11T10:48:45,485           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:48:45,486           ********************************************************************************

2026-07-11T10:48:45,487   !!
2026-07-11T10:48:45,487     self._finalize_license_expression()
2026-07-11T10:48:45,488   running dist_info
2026-07-11T10:48:45,495   creating /tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info
2026-07-11T10:48:45,496   writing /tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/PKG-INFO
2026-07-11T10:48:45,500   writing dependency_links to /tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/dependency_links.txt
2026-07-11T10:48:45,502   writing entry points to /tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/entry_points.txt
2026-07-11T10:48:45,505   writing requirements to /tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/requires.txt
2026-07-11T10:48:45,506   writing top-level names to /tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/top_level.txt
2026-07-11T10:48:45,507   writing manifest file '/tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/SOURCES.txt'
2026-07-11T10:48:45,539   reading manifest file '/tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/SOURCES.txt'
2026-07-11T10:48:45,544   writing manifest file '/tmp/pip-modern-metadata-abdxeox4/logicedit.egg-info/SOURCES.txt'
2026-07-11T10:48:45,545   creating '/tmp/pip-modern-metadata-abdxeox4/logicedit-0.1.8.dist-info'
2026-07-11T10:48:45,668   Preparing metadata (pyproject.toml): finished with status 'done'
2026-07-11T10:48:45,673   Source in /tmp/pip-wheel-2zp7p2bj/logicedit_d2803a2ad04c4296b94c2924a347a4de has version 0.1.8, which satisfies requirement logicedit==0.1.8 from https://files.pythonhosted.org/packages/cc/29/43601a0a0a496ef5cc45bb118f48c18a1e7041db2c0ba27847de36ca6423/logicedit-0.1.8.tar.gz
2026-07-11T10:48:45,674   Removed logicedit==0.1.8 from https://files.pythonhosted.org/packages/cc/29/43601a0a0a496ef5cc45bb118f48c18a1e7041db2c0ba27847de36ca6423/logicedit-0.1.8.tar.gz from build tracker '/tmp/pip-build-tracker-jh8yhrij'
2026-07-11T10:48:45,679 Created temporary directory: /tmp/pip-unpack-bd2vml6r
2026-07-11T10:48:45,680 Building wheels for collected packages: logicedit
2026-07-11T10:48:45,685   Created temporary directory: /tmp/pip-wheel-a2r9583_
2026-07-11T10:48:45,685   Destination directory: /tmp/pip-wheel-a2r9583_
2026-07-11T10:48:45,687   Building wheel for logicedit (pyproject.toml): started
2026-07-11T10:48:45,688   Running command Building wheel for logicedit (pyproject.toml)
2026-07-11T10:48:46,235   /tmp/pip-build-env-id07va8w/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,235   !!

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

2026-07-11T10:48:46,239           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:48:46,240           ********************************************************************************

2026-07-11T10:48:46,241   !!
2026-07-11T10:48:46,241     corresp(dist, value, root_dir)
2026-07-11T10:48:46,304   /tmp/pip-build-env-id07va8w/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-11T10:48:46,305   !!

2026-07-11T10:48:46,306           ********************************************************************************
2026-07-11T10:48:46,307           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-11T10:48:46,308           License :: Other/Proprietary License

2026-07-11T10:48:46,309           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:48:46,310           ********************************************************************************

2026-07-11T10:48:46,311   !!
2026-07-11T10:48:46,312     dist._finalize_license_expression()
2026-07-11T10:48:46,313   /tmp/pip-build-env-id07va8w/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-11T10:48:46,313   !!

2026-07-11T10:48:46,314           ********************************************************************************
2026-07-11T10:48:46,315           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-11T10:48:46,316           License :: Other/Proprietary License

2026-07-11T10:48:46,317           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-11T10:48:46,318           ********************************************************************************

2026-07-11T10:48:46,319   !!
2026-07-11T10:48:46,320     self._finalize_license_expression()
2026-07-11T10:48:46,320   running bdist_wheel
2026-07-11T10:48:46,330   running build
2026-07-11T10:48:46,330   running build_py
2026-07-11T10:48:46,336   creating build/lib/logicedit
2026-07-11T10:48:46,339   copying logicedit/__init__.py -> build/lib/logicedit
2026-07-11T10:48:46,341   copying logicedit/loader.py -> build/lib/logicedit
2026-07-11T10:48:46,343   copying logicedit/models.py -> build/lib/logicedit
2026-07-11T10:48:46,345   copying logicedit/cli.py -> build/lib/logicedit
2026-07-11T10:48:46,348   creating build/lib/logicedit/fol_solver
2026-07-11T10:48:46,349   copying logicedit/fol_solver/__init__.py -> build/lib/logicedit/fol_solver
2026-07-11T10:48:46,351   copying logicedit/fol_solver/Formula.py -> build/lib/logicedit/fol_solver
2026-07-11T10:48:46,353   copying logicedit/fol_solver/prover9_solver.py -> build/lib/logicedit/fol_solver
2026-07-11T10:48:46,356   copying logicedit/fol_solver/fol_parser.py -> build/lib/logicedit/fol_solver
2026-07-11T10:48:46,358   copying logicedit/fol_solver/fol_prover9_parser.py -> build/lib/logicedit/fol_solver
2026-07-11T10:48:46,361   creating build/lib/logicedit/editors
2026-07-11T10:48:46,362   copying logicedit/editors/__init__.py -> build/lib/logicedit/editors
2026-07-11T10:48:46,364   copying logicedit/editors/code_editor.py -> build/lib/logicedit/editors
2026-07-11T10:48:46,365   copying logicedit/editors/prover9_code_editor.py -> build/lib/logicedit/editors
2026-07-11T10:48:46,367   copying logicedit/editors/formula_editor.py -> build/lib/logicedit/editors
2026-07-11T10:48:46,369   copying logicedit/editors/z3_code_editor.py -> build/lib/logicedit/editors
2026-07-11T10:48:46,371   copying logicedit/editors/base.py -> build/lib/logicedit/editors
2026-07-11T10:48:46,373   creating build/lib/logicedit/storage
2026-07-11T10:48:46,374   copying logicedit/storage/__init__.py -> build/lib/logicedit/storage
2026-07-11T10:48:46,376   copying logicedit/storage/writer.py -> build/lib/logicedit/storage
2026-07-11T10:48:46,379   creating build/lib/logicedit/z3solver
2026-07-11T10:48:46,380   copying logicedit/z3solver/__init__.py -> build/lib/logicedit/z3solver
2026-07-11T10:48:46,382   copying logicedit/z3solver/sat_problem_solver.py -> build/lib/logicedit/z3solver
2026-07-11T10:48:46,384   copying logicedit/z3solver/code_translator.py -> build/lib/logicedit/z3solver
2026-07-11T10:48:46,387   copying logicedit/z3solver/z3_solver_test.py -> build/lib/logicedit/z3solver
2026-07-11T10:48:46,390   creating build/lib/logicedit/tools
2026-07-11T10:48:46,391   copying logicedit/tools/__init__.py -> build/lib/logicedit/tools
2026-07-11T10:48:46,393   copying logicedit/tools/prover9_solver_tool.py -> build/lib/logicedit/tools
2026-07-11T10:48:46,395   copying logicedit/tools/registry.py -> build/lib/logicedit/tools
2026-07-11T10:48:46,397   copying logicedit/tools/z3_solver_tool.py -> build/lib/logicedit/tools
2026-07-11T10:48:46,399   copying logicedit/tools/base.py -> build/lib/logicedit/tools
2026-07-11T10:48:46,402   creating build/lib/logicedit/runners
2026-07-11T10:48:46,403   copying logicedit/runners/__init__.py -> build/lib/logicedit/runners
2026-07-11T10:48:46,405   copying logicedit/runners/edit_runner.py -> build/lib/logicedit/runners
2026-07-11T10:48:46,407   copying logicedit/runners/evaluator.py -> build/lib/logicedit/runners
2026-07-11T10:48:46,434   installing to build/bdist.linux-armv7l/wheel
2026-07-11T10:48:46,435   running install
2026-07-11T10:48:46,459   running install_lib
2026-07-11T10:48:46,465   creating build/bdist.linux-armv7l/wheel
2026-07-11T10:48:46,467   creating build/bdist.linux-armv7l/wheel/logicedit
2026-07-11T10:48:46,468   copying build/lib/logicedit/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:48:46,470   copying build/lib/logicedit/loader.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:48:46,472   copying build/lib/logicedit/models.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:48:46,475   creating build/bdist.linux-armv7l/wheel/logicedit/fol_solver
2026-07-11T10:48:46,476   copying build/lib/logicedit/fol_solver/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:48:46,478   copying build/lib/logicedit/fol_solver/Formula.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:48:46,480   copying build/lib/logicedit/fol_solver/prover9_solver.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:48:46,483   copying build/lib/logicedit/fol_solver/fol_parser.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:48:46,485   copying build/lib/logicedit/fol_solver/fol_prover9_parser.py -> build/bdist.linux-armv7l/wheel/./logicedit/fol_solver
2026-07-11T10:48:46,488   creating build/bdist.linux-armv7l/wheel/logicedit/editors
2026-07-11T10:48:46,489   copying build/lib/logicedit/editors/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:48:46,491   copying build/lib/logicedit/editors/code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:48:46,493   copying build/lib/logicedit/editors/prover9_code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:48:46,495   copying build/lib/logicedit/editors/formula_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:48:46,497   copying build/lib/logicedit/editors/z3_code_editor.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:48:46,499   copying build/lib/logicedit/editors/base.py -> build/bdist.linux-armv7l/wheel/./logicedit/editors
2026-07-11T10:48:46,500   copying build/lib/logicedit/cli.py -> build/bdist.linux-armv7l/wheel/./logicedit
2026-07-11T10:48:46,503   creating build/bdist.linux-armv7l/wheel/logicedit/storage
2026-07-11T10:48:46,504   copying build/lib/logicedit/storage/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/storage
2026-07-11T10:48:46,506   copying build/lib/logicedit/storage/writer.py -> build/bdist.linux-armv7l/wheel/./logicedit/storage
2026-07-11T10:48:46,508   creating build/bdist.linux-armv7l/wheel/logicedit/z3solver
2026-07-11T10:48:46,509   copying build/lib/logicedit/z3solver/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:48:46,511   copying build/lib/logicedit/z3solver/sat_problem_solver.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:48:46,514   copying build/lib/logicedit/z3solver/code_translator.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:48:46,516   copying build/lib/logicedit/z3solver/z3_solver_test.py -> build/bdist.linux-armv7l/wheel/./logicedit/z3solver
2026-07-11T10:48:46,520   creating build/bdist.linux-armv7l/wheel/logicedit/tools
2026-07-11T10:48:46,521   copying build/lib/logicedit/tools/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:48:46,523   copying build/lib/logicedit/tools/prover9_solver_tool.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:48:46,525   copying build/lib/logicedit/tools/registry.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:48:46,527   copying build/lib/logicedit/tools/z3_solver_tool.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:48:46,529   copying build/lib/logicedit/tools/base.py -> build/bdist.linux-armv7l/wheel/./logicedit/tools
2026-07-11T10:48:46,532   creating build/bdist.linux-armv7l/wheel/logicedit/runners
2026-07-11T10:48:46,533   copying build/lib/logicedit/runners/__init__.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners
2026-07-11T10:48:46,535   copying build/lib/logicedit/runners/edit_runner.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners
2026-07-11T10:48:46,538   copying build/lib/logicedit/runners/evaluator.py -> build/bdist.linux-armv7l/wheel/./logicedit/runners
2026-07-11T10:48:46,539   running install_egg_info
2026-07-11T10:48:46,549   running egg_info
2026-07-11T10:48:46,554   writing logicedit.egg-info/PKG-INFO
2026-07-11T10:48:46,558   writing dependency_links to logicedit.egg-info/dependency_links.txt
2026-07-11T10:48:46,560   writing entry points to logicedit.egg-info/entry_points.txt
2026-07-11T10:48:46,562   writing requirements to logicedit.egg-info/requires.txt
2026-07-11T10:48:46,563   writing top-level names to logicedit.egg-info/top_level.txt
2026-07-11T10:48:46,577   reading manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:48:46,585   writing manifest file 'logicedit.egg-info/SOURCES.txt'
2026-07-11T10:48:46,586   Copying logicedit.egg-info to build/bdist.linux-armv7l/wheel/./logicedit-0.1.8-py3.11.egg-info
2026-07-11T10:48:46,599   running install_scripts
2026-07-11T10:48:46,609   creating build/bdist.linux-armv7l/wheel/logicedit-0.1.8.dist-info/WHEEL
2026-07-11T10:48:46,612   creating '/tmp/pip-wheel-a2r9583_/.tmp-v36dte1l/logicedit-0.1.8-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2026-07-11T10:48:46,614   adding 'logicedit/__init__.py'
2026-07-11T10:48:46,616   adding 'logicedit/cli.py'
2026-07-11T10:48:46,617   adding 'logicedit/loader.py'
2026-07-11T10:48:46,619   adding 'logicedit/models.py'
2026-07-11T10:48:46,620   adding 'logicedit/editors/__init__.py'
2026-07-11T10:48:46,622   adding 'logicedit/editors/base.py'
2026-07-11T10:48:46,623   adding 'logicedit/editors/code_editor.py'
2026-07-11T10:48:46,624   adding 'logicedit/editors/formula_editor.py'
2026-07-11T10:48:46,626   adding 'logicedit/editors/prover9_code_editor.py'
2026-07-11T10:48:46,627   adding 'logicedit/editors/z3_code_editor.py'
2026-07-11T10:48:46,629   adding 'logicedit/fol_solver/Formula.py'
2026-07-11T10:48:46,630   adding 'logicedit/fol_solver/__init__.py'
2026-07-11T10:48:46,632   adding 'logicedit/fol_solver/fol_parser.py'
2026-07-11T10:48:46,633   adding 'logicedit/fol_solver/fol_prover9_parser.py'
2026-07-11T10:48:46,635   adding 'logicedit/fol_solver/prover9_solver.py'
2026-07-11T10:48:46,637   adding 'logicedit/runners/__init__.py'
2026-07-11T10:48:46,639   adding 'logicedit/runners/edit_runner.py'
2026-07-11T10:48:46,640   adding 'logicedit/runners/evaluator.py'
2026-07-11T10:48:46,642   adding 'logicedit/storage/__init__.py'
2026-07-11T10:48:46,643   adding 'logicedit/storage/writer.py'
2026-07-11T10:48:46,645   adding 'logicedit/tools/__init__.py'
2026-07-11T10:48:46,647   adding 'logicedit/tools/base.py'
2026-07-11T10:48:46,648   adding 'logicedit/tools/prover9_solver_tool.py'
2026-07-11T10:48:46,650   adding 'logicedit/tools/registry.py'
2026-07-11T10:48:46,651   adding 'logicedit/tools/z3_solver_tool.py'
2026-07-11T10:48:46,653   adding 'logicedit/z3solver/__init__.py'
2026-07-11T10:48:46,654   adding 'logicedit/z3solver/code_translator.py'
2026-07-11T10:48:46,656   adding 'logicedit/z3solver/sat_problem_solver.py'
2026-07-11T10:48:46,660   adding 'logicedit/z3solver/z3_solver_test.py'
2026-07-11T10:48:46,662   adding 'logicedit-0.1.8.dist-info/METADATA'
2026-07-11T10:48:46,664   adding 'logicedit-0.1.8.dist-info/WHEEL'
2026-07-11T10:48:46,665   adding 'logicedit-0.1.8.dist-info/entry_points.txt'
2026-07-11T10:48:46,666   adding 'logicedit-0.1.8.dist-info/top_level.txt'
2026-07-11T10:48:46,667   adding 'logicedit-0.1.8.dist-info/RECORD'
2026-07-11T10:48:46,669   removing build/bdist.linux-armv7l/wheel
2026-07-11T10:48:46,780   Building wheel for logicedit (pyproject.toml): finished with status 'done'
2026-07-11T10:48:46,785   Created wheel for logicedit: filename=logicedit-0.1.8-py3-none-any.whl size=43178 sha256=9d5722f5983bb3ea74ac55312180b1f0fd1d3270713b8f48cffa94ddbd8f07f2
2026-07-11T10:48:46,787   Stored in directory: /tmp/pip-ephem-wheel-cache-32o5ibo8/wheels/10/c9/db/61e818d977edf1cee1cef769e4eb4d3456e4c00f5f2c5e8999
2026-07-11T10:48:46,799 Successfully built logicedit
2026-07-11T10:48:46,804 Removed build tracker: '/tmp/pip-build-tracker-jh8yhrij'