2025-01-17T14:07:17,586 Created temporary directory: /tmp/pip-build-tracker-vn4baclh 2025-01-17T14:07:17,587 Initialized build tracking at /tmp/pip-build-tracker-vn4baclh 2025-01-17T14:07:17,587 Created build tracker: /tmp/pip-build-tracker-vn4baclh 2025-01-17T14:07:17,588 Entered build tracker: /tmp/pip-build-tracker-vn4baclh 2025-01-17T14:07:17,588 Created temporary directory: /tmp/pip-wheel-czg_n8px 2025-01-17T14:07:17,593 Created temporary directory: /tmp/pip-ephem-wheel-cache-_z7rt78p 2025-01-17T14:07:17,635 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-01-17T14:07:17,638 2 location(s) to search for versions of pyomt: 2025-01-17T14:07:17,638 * https://pypi.org/simple/pyomt/ 2025-01-17T14:07:17,638 * https://www.piwheels.org/simple/pyomt/ 2025-01-17T14:07:17,639 Fetching project page and analyzing links: https://pypi.org/simple/pyomt/ 2025-01-17T14:07:17,639 Getting page https://pypi.org/simple/pyomt/ 2025-01-17T14:07:17,641 Found index url https://pypi.org/simple/ 2025-01-17T14:07:18,097 Fetched page https://pypi.org/simple/pyomt/ as application/vnd.pypi.simple.v1+json 2025-01-17T14:07:18,100 Skipping link: No binaries permitted for pyomt: https://files.pythonhosted.org/packages/9b/8c/a285375ae9c31a61afe7d4f0056648522803e4ddf503a6b24d7257f05dc9/pyomt-0.0.1-py2.py3-none-any.whl (from https://pypi.org/simple/pyomt/) (requires-python:>=3.6.0) 2025-01-17T14:07:18,102 Found link https://files.pythonhosted.org/packages/b6/f2/472fdabdb69c3f0d741a925e99ca77c5f3b0493773c6069a1c13b1abd79b/pyomt-0.0.1.tar.gz (from https://pypi.org/simple/pyomt/) (requires-python:>=3.6.0), version: 0.0.1 2025-01-17T14:07:18,103 Skipping link: No binaries permitted for pyomt: https://files.pythonhosted.org/packages/c3/68/52b5056d8d7bd91434540729d7bfea665b9091a895891f7a2f9f5225fc3f/pyomt-0.0.3-py2.py3-none-any.whl (from https://pypi.org/simple/pyomt/) (requires-python:>=3.6.0) 2025-01-17T14:07:18,105 Found link https://files.pythonhosted.org/packages/35/18/6537bb0ac5206cc3d114c7c2c3a164107d4d6e473dcb0ce1d904de203cbe/pyomt-0.0.3.tar.gz (from https://pypi.org/simple/pyomt/) (requires-python:>=3.6.0), version: 0.0.3 2025-01-17T14:07:18,106 Fetching project page and analyzing links: https://www.piwheels.org/simple/pyomt/ 2025-01-17T14:07:18,107 Getting page https://www.piwheels.org/simple/pyomt/ 2025-01-17T14:07:18,109 Found index url https://www.piwheels.org/simple/ 2025-01-17T14:07:18,317 Fetched page https://www.piwheels.org/simple/pyomt/ as text/html 2025-01-17T14:07:18,319 Skipping link: No binaries permitted for pyomt: https://www.piwheels.org/simple/pyomt/pyomt-0.0.1-py3-none-any.whl#sha256=52e439018c85fd21f427f3f4c573fb27a130c87547b505ed05e1b3d388b40cbd (from https://www.piwheels.org/simple/pyomt/) (requires-python:>=3.6.0) 2025-01-17T14:07:18,319 Skipping link: not a file: https://www.piwheels.org/simple/pyomt/ 2025-01-17T14:07:18,320 Skipping link: not a file: https://pypi.org/simple/pyomt/ 2025-01-17T14:07:18,338 Given no hashes to check 1 links for project 'pyomt': discarding no candidates 2025-01-17T14:07:18,342 Collecting pyomt==0.0.3 2025-01-17T14:07:18,345 Created temporary directory: /tmp/pip-unpack-5e65w8am 2025-01-17T14:07:18,654 Downloading pyomt-0.0.3.tar.gz (67 kB) 2025-01-17T14:07:18,808 Added pyomt==0.0.3 from https://files.pythonhosted.org/packages/35/18/6537bb0ac5206cc3d114c7c2c3a164107d4d6e473dcb0ce1d904de203cbe/pyomt-0.0.3.tar.gz to build tracker '/tmp/pip-build-tracker-vn4baclh' 2025-01-17T14:07:18,810 Running setup.py (path:/tmp/pip-wheel-czg_n8px/pyomt_e4d8e6fae6e54688a3530af1f8fafcbc/setup.py) egg_info for package pyomt 2025-01-17T14:07:18,811 Created temporary directory: /tmp/pip-pip-egg-info-tuhqo6z1 2025-01-17T14:07:18,811 Preparing metadata (setup.py): started 2025-01-17T14:07:18,813 Running command python setup.py egg_info 2025-01-17T14:07:20,114 running egg_info 2025-01-17T14:07:20,142 creating /tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info 2025-01-17T14:07:20,143 writing /tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info/PKG-INFO 2025-01-17T14:07:20,146 writing dependency_links to /tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info/dependency_links.txt 2025-01-17T14:07:20,148 writing requirements to /tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info/requires.txt 2025-01-17T14:07:20,149 writing top-level names to /tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info/top_level.txt 2025-01-17T14:07:20,151 writing manifest file '/tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info/SOURCES.txt' 2025-01-17T14:07:20,243 reading manifest file '/tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info/SOURCES.txt' 2025-01-17T14:07:20,245 adding license file 'LICENSE' 2025-01-17T14:07:20,248 writing manifest file '/tmp/pip-pip-egg-info-tuhqo6z1/pyomt.egg-info/SOURCES.txt' 2025-01-17T14:07:20,361 Preparing metadata (setup.py): finished with status 'done' 2025-01-17T14:07:20,365 Source in /tmp/pip-wheel-czg_n8px/pyomt_e4d8e6fae6e54688a3530af1f8fafcbc has version 0.0.3, which satisfies requirement pyomt==0.0.3 from https://files.pythonhosted.org/packages/35/18/6537bb0ac5206cc3d114c7c2c3a164107d4d6e473dcb0ce1d904de203cbe/pyomt-0.0.3.tar.gz 2025-01-17T14:07:20,366 Removed pyomt==0.0.3 from https://files.pythonhosted.org/packages/35/18/6537bb0ac5206cc3d114c7c2c3a164107d4d6e473dcb0ce1d904de203cbe/pyomt-0.0.3.tar.gz from build tracker '/tmp/pip-build-tracker-vn4baclh' 2025-01-17T14:07:20,373 Created temporary directory: /tmp/pip-unpack-6kw1a_t7 2025-01-17T14:07:20,374 Created temporary directory: /tmp/pip-unpack-bf1u9rif 2025-01-17T14:07:20,375 Building wheels for collected packages: pyomt 2025-01-17T14:07:20,379 Created temporary directory: /tmp/pip-wheel-go7v09fj 2025-01-17T14:07:20,379 Building wheel for pyomt (setup.py): started 2025-01-17T14:07:20,381 Destination directory: /tmp/pip-wheel-go7v09fj 2025-01-17T14:07:20,381 Running command python setup.py bdist_wheel 2025-01-17T14:07:21,431 running bdist_wheel 2025-01-17T14:07:21,563 running build 2025-01-17T14:07:21,564 running build_py 2025-01-17T14:07:21,594 creating build/lib/pyomt 2025-01-17T14:07:21,597 copying pyomt/__version__.py -> build/lib/pyomt 2025-01-17T14:07:21,599 copying pyomt/__init__.py -> build/lib/pyomt 2025-01-17T14:07:21,601 creating build/lib/pyomt/omtbv 2025-01-17T14:07:21,602 copying pyomt/omtbv/bit_blast_omt_solver.py -> build/lib/pyomt/omtbv 2025-01-17T14:07:21,604 copying pyomt/omtbv/bv_opt_utils.py -> build/lib/pyomt/omtbv 2025-01-17T14:07:21,607 copying pyomt/omtbv/bv_opt_qsmt.py -> build/lib/pyomt/omtbv 2025-01-17T14:07:21,608 copying pyomt/omtbv/bv_opt_maxsat.py -> build/lib/pyomt/omtbv 2025-01-17T14:07:21,610 copying pyomt/omtbv/__init__.py -> build/lib/pyomt/omtbv 2025-01-17T14:07:21,612 copying pyomt/omtbv/bv_opt_iterative_search.py -> build/lib/pyomt/omtbv 2025-01-17T14:07:21,615 creating build/lib/pyomt/maxsat 2025-01-17T14:07:21,616 copying pyomt/maxsat/bs.py -> build/lib/pyomt/maxsat 2025-01-17T14:07:21,618 copying pyomt/maxsat/lsu.py -> build/lib/pyomt/maxsat 2025-01-17T14:07:21,621 copying pyomt/maxsat/fm.py -> build/lib/pyomt/maxsat 2025-01-17T14:07:21,623 copying pyomt/maxsat/rc2_z3.py -> build/lib/pyomt/maxsat 2025-01-17T14:07:21,626 copying pyomt/maxsat/maxsat_solver.py -> build/lib/pyomt/maxsat 2025-01-17T14:07:21,628 copying pyomt/maxsat/__init__.py -> build/lib/pyomt/maxsat 2025-01-17T14:07:21,629 copying pyomt/maxsat/rc2.py -> build/lib/pyomt/maxsat 2025-01-17T14:07:21,633 creating build/lib/pyomt/solver_process 2025-01-17T14:07:21,634 copying pyomt/solver_process/solver.py -> build/lib/pyomt/solver_process 2025-01-17T14:07:21,636 copying pyomt/solver_process/solver_utils.py -> build/lib/pyomt/solver_process 2025-01-17T14:07:21,638 copying pyomt/solver_process/server.py -> build/lib/pyomt/solver_process 2025-01-17T14:07:21,640 copying pyomt/solver_process/__init__.py -> build/lib/pyomt/solver_process 2025-01-17T14:07:21,642 creating build/lib/pyomt/utils 2025-01-17T14:07:21,644 copying pyomt/utils/z3expr_utils.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,646 copying pyomt/utils/bin_solver.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,648 copying pyomt/utils/mapped_blast.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,650 copying pyomt/utils/portfolio_ipc.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,653 copying pyomt/utils/opt_parser.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,654 copying pyomt/utils/pysmt_utils.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,656 copying pyomt/utils/z3opt_utils.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,658 copying pyomt/utils/config.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,660 copying pyomt/utils/__init__.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,661 copying pyomt/utils/portfolio.py -> build/lib/pyomt/utils 2025-01-17T14:07:21,664 creating build/lib/pyomt/omtarith 2025-01-17T14:07:21,665 copying pyomt/omtarith/arith_opt_qsmt.py -> build/lib/pyomt/omtarith 2025-01-17T14:07:21,667 copying pyomt/omtarith/arith_opt_lp.py -> build/lib/pyomt/omtarith 2025-01-17T14:07:21,669 copying pyomt/omtarith/__init__.py -> build/lib/pyomt/omtarith 2025-01-17T14:07:21,670 creating build/lib/pyomt/omtbv/boxed 2025-01-17T14:07:21,671 copying pyomt/omtbv/boxed/bv_boxed_seq.py -> build/lib/pyomt/omtbv/boxed 2025-01-17T14:07:21,674 copying pyomt/omtbv/boxed/bv_boxed_obj_divide.py -> build/lib/pyomt/omtbv/boxed 2025-01-17T14:07:21,675 copying pyomt/omtbv/boxed/bv_boxed_compact.py -> build/lib/pyomt/omtbv/boxed 2025-01-17T14:07:21,678 copying pyomt/omtbv/boxed/__init__.py -> build/lib/pyomt/omtbv/boxed 2025-01-17T14:07:21,680 creating build/lib/pyomt/omtarith/boxed 2025-01-17T14:07:21,681 copying pyomt/omtarith/boxed/arith_boxed_seq.py -> build/lib/pyomt/omtarith/boxed 2025-01-17T14:07:21,683 copying pyomt/omtarith/boxed/__init__.py -> build/lib/pyomt/omtarith/boxed 2025-01-17T14:07:21,684 copying pyomt/omtarith/boxed/arith_boxed_symba.py -> build/lib/pyomt/omtarith/boxed 2025-01-17T14:07:21,686 running egg_info 2025-01-17T14:07:21,713 writing pyomt.egg-info/PKG-INFO 2025-01-17T14:07:21,717 writing dependency_links to pyomt.egg-info/dependency_links.txt 2025-01-17T14:07:21,718 writing requirements to pyomt.egg-info/requires.txt 2025-01-17T14:07:21,719 writing top-level names to pyomt.egg-info/top_level.txt 2025-01-17T14:07:21,758 reading manifest file 'pyomt.egg-info/SOURCES.txt' 2025-01-17T14:07:21,762 adding license file 'LICENSE' 2025-01-17T14:07:21,766 writing manifest file 'pyomt.egg-info/SOURCES.txt' 2025-01-17T14:07:21,802 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-01-17T14:07:21,802 !! 2025-01-17T14:07:21,804 ******************************************************************************** 2025-01-17T14:07:21,804 Please avoid running ``setup.py`` directly. 2025-01-17T14:07:21,805 Instead, use pypa/build, pypa/installer or other 2025-01-17T14:07:21,806 standards-based tools. 2025-01-17T14:07:21,807 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-01-17T14:07:21,807 ******************************************************************************** 2025-01-17T14:07:21,808 !! 2025-01-17T14:07:21,809 self.initialize_options() 2025-01-17T14:07:21,834 installing to build/bdist.linux-armv7l/wheel 2025-01-17T14:07:21,835 running install 2025-01-17T14:07:21,861 running install_lib 2025-01-17T14:07:21,889 creating build/bdist.linux-armv7l/wheel 2025-01-17T14:07:21,892 creating build/bdist.linux-armv7l/wheel/pyomt 2025-01-17T14:07:21,893 creating build/bdist.linux-armv7l/wheel/pyomt/omtbv 2025-01-17T14:07:21,895 creating build/bdist.linux-armv7l/wheel/pyomt/omtbv/boxed 2025-01-17T14:07:21,897 copying build/lib/pyomt/omtbv/boxed/bv_boxed_seq.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv/boxed 2025-01-17T14:07:21,899 copying build/lib/pyomt/omtbv/boxed/bv_boxed_obj_divide.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv/boxed 2025-01-17T14:07:21,901 copying build/lib/pyomt/omtbv/boxed/bv_boxed_compact.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv/boxed 2025-01-17T14:07:21,903 copying build/lib/pyomt/omtbv/boxed/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv/boxed 2025-01-17T14:07:21,906 copying build/lib/pyomt/omtbv/bit_blast_omt_solver.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv 2025-01-17T14:07:21,908 copying build/lib/pyomt/omtbv/bv_opt_utils.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv 2025-01-17T14:07:21,910 copying build/lib/pyomt/omtbv/bv_opt_qsmt.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv 2025-01-17T14:07:21,912 copying build/lib/pyomt/omtbv/bv_opt_maxsat.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv 2025-01-17T14:07:21,914 copying build/lib/pyomt/omtbv/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv 2025-01-17T14:07:21,915 copying build/lib/pyomt/omtbv/bv_opt_iterative_search.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtbv 2025-01-17T14:07:21,918 copying build/lib/pyomt/__version__.py -> build/bdist.linux-armv7l/wheel/./pyomt 2025-01-17T14:07:21,920 creating build/bdist.linux-armv7l/wheel/pyomt/maxsat 2025-01-17T14:07:21,922 copying build/lib/pyomt/maxsat/bs.py -> build/bdist.linux-armv7l/wheel/./pyomt/maxsat 2025-01-17T14:07:21,923 copying build/lib/pyomt/maxsat/lsu.py -> build/bdist.linux-armv7l/wheel/./pyomt/maxsat 2025-01-17T14:07:21,926 copying build/lib/pyomt/maxsat/fm.py -> build/bdist.linux-armv7l/wheel/./pyomt/maxsat 2025-01-17T14:07:21,928 copying build/lib/pyomt/maxsat/rc2_z3.py -> build/bdist.linux-armv7l/wheel/./pyomt/maxsat 2025-01-17T14:07:21,930 copying build/lib/pyomt/maxsat/maxsat_solver.py -> build/bdist.linux-armv7l/wheel/./pyomt/maxsat 2025-01-17T14:07:21,932 copying build/lib/pyomt/maxsat/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt/maxsat 2025-01-17T14:07:21,934 copying build/lib/pyomt/maxsat/rc2.py -> build/bdist.linux-armv7l/wheel/./pyomt/maxsat 2025-01-17T14:07:21,938 creating build/bdist.linux-armv7l/wheel/pyomt/solver_process 2025-01-17T14:07:21,939 copying build/lib/pyomt/solver_process/solver.py -> build/bdist.linux-armv7l/wheel/./pyomt/solver_process 2025-01-17T14:07:21,941 copying build/lib/pyomt/solver_process/solver_utils.py -> build/bdist.linux-armv7l/wheel/./pyomt/solver_process 2025-01-17T14:07:21,942 copying build/lib/pyomt/solver_process/server.py -> build/bdist.linux-armv7l/wheel/./pyomt/solver_process 2025-01-17T14:07:21,944 copying build/lib/pyomt/solver_process/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt/solver_process 2025-01-17T14:07:21,946 creating build/bdist.linux-armv7l/wheel/pyomt/utils 2025-01-17T14:07:21,947 copying build/lib/pyomt/utils/z3expr_utils.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,950 copying build/lib/pyomt/utils/bin_solver.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,952 copying build/lib/pyomt/utils/mapped_blast.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,954 copying build/lib/pyomt/utils/portfolio_ipc.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,957 copying build/lib/pyomt/utils/opt_parser.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,959 copying build/lib/pyomt/utils/pysmt_utils.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,961 copying build/lib/pyomt/utils/z3opt_utils.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,963 copying build/lib/pyomt/utils/config.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,965 copying build/lib/pyomt/utils/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,966 copying build/lib/pyomt/utils/portfolio.py -> build/bdist.linux-armv7l/wheel/./pyomt/utils 2025-01-17T14:07:21,968 copying build/lib/pyomt/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt 2025-01-17T14:07:21,971 creating build/bdist.linux-armv7l/wheel/pyomt/omtarith 2025-01-17T14:07:21,972 copying build/lib/pyomt/omtarith/arith_opt_qsmt.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtarith 2025-01-17T14:07:21,975 creating build/bdist.linux-armv7l/wheel/pyomt/omtarith/boxed 2025-01-17T14:07:21,976 copying build/lib/pyomt/omtarith/boxed/arith_boxed_seq.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtarith/boxed 2025-01-17T14:07:21,978 copying build/lib/pyomt/omtarith/boxed/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtarith/boxed 2025-01-17T14:07:21,979 copying build/lib/pyomt/omtarith/boxed/arith_boxed_symba.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtarith/boxed 2025-01-17T14:07:21,981 copying build/lib/pyomt/omtarith/arith_opt_lp.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtarith 2025-01-17T14:07:21,983 copying build/lib/pyomt/omtarith/__init__.py -> build/bdist.linux-armv7l/wheel/./pyomt/omtarith 2025-01-17T14:07:21,985 running install_egg_info 2025-01-17T14:07:22,018 Copying pyomt.egg-info to build/bdist.linux-armv7l/wheel/./pyomt-0.0.3-py3.11.egg-info 2025-01-17T14:07:22,027 running install_scripts 2025-01-17T14:07:22,043 creating build/bdist.linux-armv7l/wheel/pyomt-0.0.3.dist-info/WHEEL 2025-01-17T14:07:22,045 creating '/tmp/pip-wheel-go7v09fj/pyomt-0.0.3-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-01-17T14:07:22,047 adding 'pyomt/__init__.py' 2025-01-17T14:07:22,048 adding 'pyomt/__version__.py' 2025-01-17T14:07:22,050 adding 'pyomt/maxsat/__init__.py' 2025-01-17T14:07:22,052 adding 'pyomt/maxsat/bs.py' 2025-01-17T14:07:22,055 adding 'pyomt/maxsat/fm.py' 2025-01-17T14:07:22,057 adding 'pyomt/maxsat/lsu.py' 2025-01-17T14:07:22,059 adding 'pyomt/maxsat/maxsat_solver.py' 2025-01-17T14:07:22,067 adding 'pyomt/maxsat/rc2.py' 2025-01-17T14:07:22,069 adding 'pyomt/maxsat/rc2_z3.py' 2025-01-17T14:07:22,071 adding 'pyomt/omtarith/__init__.py' 2025-01-17T14:07:22,073 adding 'pyomt/omtarith/arith_opt_lp.py' 2025-01-17T14:07:22,074 adding 'pyomt/omtarith/arith_opt_qsmt.py' 2025-01-17T14:07:22,076 adding 'pyomt/omtarith/boxed/__init__.py' 2025-01-17T14:07:22,077 adding 'pyomt/omtarith/boxed/arith_boxed_seq.py' 2025-01-17T14:07:22,078 adding 'pyomt/omtarith/boxed/arith_boxed_symba.py' 2025-01-17T14:07:22,080 adding 'pyomt/omtbv/__init__.py' 2025-01-17T14:07:22,082 adding 'pyomt/omtbv/bit_blast_omt_solver.py' 2025-01-17T14:07:22,083 adding 'pyomt/omtbv/bv_opt_iterative_search.py' 2025-01-17T14:07:22,085 adding 'pyomt/omtbv/bv_opt_maxsat.py' 2025-01-17T14:07:22,086 adding 'pyomt/omtbv/bv_opt_qsmt.py' 2025-01-17T14:07:22,087 adding 'pyomt/omtbv/bv_opt_utils.py' 2025-01-17T14:07:22,089 adding 'pyomt/omtbv/boxed/__init__.py' 2025-01-17T14:07:22,091 adding 'pyomt/omtbv/boxed/bv_boxed_compact.py' 2025-01-17T14:07:22,092 adding 'pyomt/omtbv/boxed/bv_boxed_obj_divide.py' 2025-01-17T14:07:22,093 adding 'pyomt/omtbv/boxed/bv_boxed_seq.py' 2025-01-17T14:07:22,095 adding 'pyomt/solver_process/__init__.py' 2025-01-17T14:07:22,096 adding 'pyomt/solver_process/server.py' 2025-01-17T14:07:22,097 adding 'pyomt/solver_process/solver.py' 2025-01-17T14:07:22,098 adding 'pyomt/solver_process/solver_utils.py' 2025-01-17T14:07:22,100 adding 'pyomt/utils/__init__.py' 2025-01-17T14:07:22,102 adding 'pyomt/utils/bin_solver.py' 2025-01-17T14:07:22,103 adding 'pyomt/utils/config.py' 2025-01-17T14:07:22,105 adding 'pyomt/utils/mapped_blast.py' 2025-01-17T14:07:22,106 adding 'pyomt/utils/opt_parser.py' 2025-01-17T14:07:22,108 adding 'pyomt/utils/portfolio.py' 2025-01-17T14:07:22,110 adding 'pyomt/utils/portfolio_ipc.py' 2025-01-17T14:07:22,111 adding 'pyomt/utils/pysmt_utils.py' 2025-01-17T14:07:22,112 adding 'pyomt/utils/z3expr_utils.py' 2025-01-17T14:07:22,114 adding 'pyomt/utils/z3opt_utils.py' 2025-01-17T14:07:22,120 adding 'pyomt-0.0.3.dist-info/LICENSE' 2025-01-17T14:07:22,122 adding 'pyomt-0.0.3.dist-info/METADATA' 2025-01-17T14:07:22,123 adding 'pyomt-0.0.3.dist-info/WHEEL' 2025-01-17T14:07:22,124 adding 'pyomt-0.0.3.dist-info/top_level.txt' 2025-01-17T14:07:22,125 adding 'pyomt-0.0.3.dist-info/RECORD' 2025-01-17T14:07:22,128 removing build/bdist.linux-armv7l/wheel 2025-01-17T14:07:22,256 Building wheel for pyomt (setup.py): finished with status 'done' 2025-01-17T14:07:22,259 Created wheel for pyomt: filename=pyomt-0.0.3-py3-none-any.whl size=78087 sha256=55535cb242b62d823e9fd519cf889eb9ba1042774b4413ad640cf59f0b5e9e15 2025-01-17T14:07:22,261 Stored in directory: /tmp/pip-ephem-wheel-cache-_z7rt78p/wheels/79/d6/8d/92a6ce889cf1f8d0f89bef15da379e1006aa1729a65d6bce0e 2025-01-17T14:07:22,273 Successfully built pyomt 2025-01-17T14:07:22,278 Removed build tracker: '/tmp/pip-build-tracker-vn4baclh'