2023-10-24T12:09:06,762 Created temporary directory: /tmp/pip-build-tracker-bfpeukcz
2023-10-24T12:09:06,763 Initialized build tracking at /tmp/pip-build-tracker-bfpeukcz
2023-10-24T12:09:06,764 Created build tracker: /tmp/pip-build-tracker-bfpeukcz
2023-10-24T12:09:06,764 Entered build tracker: /tmp/pip-build-tracker-bfpeukcz
2023-10-24T12:09:06,765 Created temporary directory: /tmp/pip-wheel-jctdutim
2023-10-24T12:09:06,768 Created temporary directory: /tmp/pip-ephem-wheel-cache-muluqwkc
2023-10-24T12:09:06,791 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-10-24T12:09:06,795 2 location(s) to search for versions of pysmt:
2023-10-24T12:09:06,795 * https://pypi.org/simple/pysmt/
2023-10-24T12:09:06,795 * https://www.piwheels.org/simple/pysmt/
2023-10-24T12:09:06,796 Fetching project page and analyzing links: https://pypi.org/simple/pysmt/
2023-10-24T12:09:06,796 Getting page https://pypi.org/simple/pysmt/
2023-10-24T12:09:06,798 Found index url https://pypi.org/simple/
2023-10-24T12:09:07,020 Fetched page https://pypi.org/simple/pysmt/ as application/vnd.pypi.simple.v1+json
2023-10-24T12:09:07,036   Found link https://files.pythonhosted.org/packages/37/35/8253132ae5a8030ebda4f71a33fb6d7e87c21a81635925409f3fe20c33a7/PySMT-0.2.2.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.2.2
2023-10-24T12:09:07,037   Found link https://files.pythonhosted.org/packages/53/8f/e4a70f30308ae302f327b466037dadbface2545512b3d480daa0153ba792/PySMT-0.2.3.dev.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.2.3.dev
2023-10-24T12:09:07,038   Found link https://files.pythonhosted.org/packages/0b/03/7ac2e997a10404564ae71509e6b2430a5934a675552378ad0bb76b566253/PySMT-0.2.3.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.2.3
2023-10-24T12:09:07,038   Found link https://files.pythonhosted.org/packages/9b/aa/74ced527cf802c747b79f72c30cb481247db7d5d09c410011330ab9ade9d/PySMT-0.2.4.dev.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.2.4.dev
2023-10-24T12:09:07,039   Found link https://files.pythonhosted.org/packages/69/b6/95c8abed879cf272594ccdc2e3941684dd3d71c40fd44de9fad87082cc88/PySMT-0.2.4.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.2.4
2023-10-24T12:09:07,040   Found link https://files.pythonhosted.org/packages/88/41/722a51aa1520af14d61c8f1215c3281f032aa62681bd545837f1c6c27929/PySMT-0.2.5.dev1.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.2.5.dev1
2023-10-24T12:09:07,040   Found link https://files.pythonhosted.org/packages/d5/fd/25c0b454d96a2749d7543e1de11acf57439d9f20cbd33b539f0683a5b163/PySMT-0.3.0.dev.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.3.0.dev
2023-10-24T12:09:07,041   Found link https://files.pythonhosted.org/packages/38/20/b60057f4b275a71c0e82ee5ef03e9bb9fbb9e5d69cd95b983b40e6ce8143/PySMT-0.3.0.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.3.0
2023-10-24T12:09:07,042   Found link https://files.pythonhosted.org/packages/4d/62/ea47e58dcb32b6c2fc1147c0e07cfcf2aece4709eb292df79557f48db8ad/PySMT-0.4.0.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.4.0
2023-10-24T12:09:07,042   Found link https://files.pythonhosted.org/packages/3c/9e/4337b2cfaa2b81c830426413004469a8b5fecd644e3a1d50fa982ad8bb32/PySMT-0.4.1.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.4.1
2023-10-24T12:09:07,043   Found link https://files.pythonhosted.org/packages/fc/28/26426e1eec878c3de34effca9baa1f16970a68bc8067d061dc124eecde0e/PySMT-0.4.2.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.4.2
2023-10-24T12:09:07,044   Found link https://files.pythonhosted.org/packages/17/da/4aff3cd4b3bde67c50f57b0673a2fb5e87a387247fb4a89876a1980fa78e/PySMT-0.4.3.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.4.3
2023-10-24T12:09:07,044   Found link https://files.pythonhosted.org/packages/cd/82/79497d47ed4ba68c9b0c27198f977775b903f0cf2888d54c7ae7b3526185/PySMT-0.4.4.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.4.4
2023-10-24T12:09:07,045   Found link https://files.pythonhosted.org/packages/6a/c7/315ea9758cdb49c27bd52272a82cd177323f92428aaad56c73a029b62a3b/PySMT-0.5.0.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.5.0
2023-10-24T12:09:07,046   Found link https://files.pythonhosted.org/packages/b4/80/49b4264803befb379cbb764c1720c69e6065b490b381ba2ef7eef68fba23/PySMT-0.5.1.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.5.1
2023-10-24T12:09:07,046   Found link https://files.pythonhosted.org/packages/07/4e/8a2a0d10b7666245ea8cf622e638137815fe5cbfe84b80d73fb409faa608/PySMT-0.6.0.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.6.0
2023-10-24T12:09:07,047   Found link https://files.pythonhosted.org/packages/27/2b/2a1b3bfcac68f5916ea9112e729c66ceb7902e97ed1de4c1ed5a53f0d739/PySMT-0.6.1.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.6.1
2023-10-24T12:09:07,048   Found link https://files.pythonhosted.org/packages/a2/5c/26cd1faa0d1f96dc0cddd299646eeff5dd631fd176a0c7bc7ca63e547865/PySMT-0.7.0.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.7.0
2023-10-24T12:09:07,048   Found link https://files.pythonhosted.org/packages/64/ed/f04e47a6505bbcdc2531dfac71b7227f5299b65e93f15f819c7341f67e92/PySMT-0.7.5.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.7.5
2023-10-24T12:09:07,049   Found link https://files.pythonhosted.org/packages/dd/93/a3e2e53c71c8a5713ba505d47e45c99e614f026fc26257ba28dc5130a3b2/PySMT-0.8.0.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.8.0
2023-10-24T12:09:07,049   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/37/36/afc8e35e2048cbfecc86e67330d2cbe1065998ecdf901f33507ab75b8c5a/PySMT-0.8.1.dev54-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,050   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/6e/37/20a04bbe04854ce886ea361d6c07ca52ce962d668b4214b3f11a0970bf16/PySMT-0.8.1.dev55-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,050   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/6e/52/3a492eeefd722405ce71fbd668b3b0adb8c231e53c1f3de9389d9d8b9b0f/PySMT-0.8.1.dev57-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,051   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/f4/aa/a8f0b7942958bb078b3d78e4cd358989a589ee73057cee42633ddcdbbb5f/PySMT-0.8.1.dev59-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,052   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/93/0f/09641405aa8cf03758f3e0cbfcad1d868fccfc2747a73bb5e3487d659022/PySMT-0.8.1.dev61-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,052   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/2e/58/98607d0e36bef25442a3d6e46080ba6b0f9700706226081d1f9de2567695/PySMT-0.8.1.dev62-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,053   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/be/c0/37027ab14e693f2faf2f170fe62582e14d0838935126053fd02cfb91a810/PySMT-0.8.1.dev64-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,054   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/91/45/0102517310acf10b7626c70105ea683330e6a7c07e9be62c591683530191/PySMT-0.8.1.dev67-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,054   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/1f/db/7aa712972adf87999410899ad32a6c0fa92c97279178fc71dd923e9cbbb4/PySMT-0.8.1.dev77-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,055   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/da/5c/1362cfd450720f4344c22dcb60a779119df8c8080383a3a7d03b364dfaae/PySMT-0.8.1.dev79-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,055   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/ce/71/1757d4463a08734f3bfa8e6abe5e7091b178e9f6896f93d759cfd986e5ba/PySMT-0.8.1.dev81-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,056   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/1f/20/41749b34a6d33cac1d2c8d28b87111e53da2946904f930585195f6e7752f/PySMT-0.8.1.dev89-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,057   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/9f/9a/8a8c5282afb3d1a2e2b2398be0905c0ea4d042f980bb43ecb40b9729e416/PySMT-0.8.1.dev90-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,057   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/44/44/3243e7dc59f863308eece522da0ad25444b9fec0f2930f1c4140e4dacc8b/PySMT-0.8.1.dev93-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,058   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/5d/b5/52102337711fd61f0d787f727991cc84fcb855b66bc539367a58aa57d661/PySMT-0.8.1.dev95-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,058   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/ae/25/3c2c86c79b2d323620c29a421e1b174485957df8a1d20078832c0d42aa0a/PySMT-0.8.1.dev97-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,058   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/14/87/67eebb631117a92659b0eef3935c4183bf38dfaddfc80e2ddcb46f9788e2/PySMT-0.8.1.dev100-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,059   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/2e/9a/e3062b1259f564d96f6fc18afeced26d85b02e33890fd7d05b9d749f481c/PySMT-0.8.1.dev101-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,059   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/8b/88/e28d06a94e3307548e2bcef3e8d4100b00d614fc92360e0e13708e3d34ab/PySMT-0.8.1.dev104-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,060   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/e0/6e/69ae88f759b3739ac302ab08238f38d01266f43e82b220142835fd608dde/PySMT-0.9.0-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,061   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/8f/61/e61744d74d0c233c0980cf8cebc854e9ea3849c84c5d145a3ddd3c8e54f0/PySMT-0.9.1.dev1-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,061   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/14/1f/369d6e60bbe6e3aa775db6bad13afaea2913ebf2ed260e13653cf0dae858/PySMT-0.9.1.dev12-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,062   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/01/69/25e48d3f0eda809f458ba18540d3fadb499379feb4900a1a8d616f90daea/PySMT-0.9.1.dev20-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,062   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/7d/fb/c8169f7047121bfd19a000072cd7abf2f9aff72c0427bb0d23a00a670dca/PySMT-0.9.1.dev22-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,063   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/8b/49/dadc27ed3fc872423b9cd99bc3ebf992b7100ac4257b5918fb5aa8ff9dcd/PySMT-0.9.1.dev36-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,064   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/f6/b4/e25768a7057c82d0e9f343e0a5eded41796e458cead92ffd68c265965a3b/PySMT-0.9.1.dev78-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,064   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/5e/2b/bb56e268cf01367072f057723c6f317397ec4926f1efa461d941bf9a7c6f/PySMT-0.9.1.dev84-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,065   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/82/32/bb26edce06d64131a10ee9bc40befd24e908011bd6695af8ddd0dae767f4/PySMT-0.9.1.dev86-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,066   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/66/55/de47df778587d61efe938ca2749c6a06dce86e41cdc501437f409cbeb377/PySMT-0.9.1.dev98-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,066   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/49/5f/e7b57ab87b74b12430a88638aa1926a71b977de1cc1e18306b4206b0d2a0/PySMT-0.9.1.dev108-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,067   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/29/8c/185021faf469e028e38ee157773cf63eed9b32d57dff3583d573e3943e55/PySMT-0.9.1.dev112-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,067   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/5a/7d/65a66690725de463236b0272291b8b80fc360fef3999c1a7cedf890a68e5/PySMT-0.9.1.dev119-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,068   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/3c/f4/bd2630db903f7f28e433cb16b7be4ea55afea61fd673286d9320a9476464/PySMT-0.9.1.dev124-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,068   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/7c/45/4d15acd23edce3a5cee2c3a6359c091261595dce25306a3b848521e34b14/PySMT-0.9.1.dev132-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,069   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/17/a9/5fd53c9daa90b94d9d8f4ea5f73a12402c9aa8944bd841e0851bfc01ee49/PySMT-0.9.1.dev137-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,070   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/ec/25/1fe8c6648f2d83f260c730a75dea09fd9b3c028cf65683757a088f326de7/PySMT-0.9.1.dev139-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,070   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/be/a1/10c6249f6ff11f6ee51755f81cdfc3d14666d1509ce715d3a368b5f6b88c/PySMT-0.9.1.dev154-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,071   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/1c/a5/8f872b5bd57df2ab1eb032000f7c7c68865d596b9ac22bccac9efddd42ec/PySMT-0.9.1.dev159-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,071   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/bf/4d/adf1dbf51cb2423a83daf1ee4cfe3004fc9e3b86c7bb317db95f6a5f86b3/PySMT-0.9.1.dev161-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,072   Found link https://files.pythonhosted.org/packages/b7/2d/156c2a596f40cbbcc8fae71d6f59f01550006839222077662b69a33d5cc8/PySMT-0.9.1.dev161.linux-x86_64.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev161.linux-x86_64
2023-10-24T12:09:07,072   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/d4/8b/147feb572ae50137077494ece776b794ae6de7717a6440278b6ef2f2d3e1/PySMT-0.9.1.dev162-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,073   Found link https://files.pythonhosted.org/packages/07/aa/39ae3f97c7015d1e714976064d19407d1c21a41557a8982aab9f886fce16/PySMT-0.9.1.dev162.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev162
2023-10-24T12:09:07,074   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/df/f8/db975eea119481c65b3c68e193175f52bb2b5c75c3eaeb90809f9d4bd67d/PySMT-0.9.1.dev163-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,074   Found link https://files.pythonhosted.org/packages/32/65/25a348fb708cf7f66cfdeed09e71ce8081c69afe4562d69d4c5bb8bde24a/PySMT-0.9.1.dev163.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev163
2023-10-24T12:09:07,075   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/4e/e9/87a9efb9677f25e506edae95ffaac25c0b758b85dbc8f700aaa313381ee3/PySMT-0.9.1.dev166-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,076   Found link https://files.pythonhosted.org/packages/13/cf/d75b78dd1b29218054da0091c7f9bd1865e51a462b6864a0da40e1fd10c3/PySMT-0.9.1.dev166.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev166
2023-10-24T12:09:07,076   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/a8/2e/675a6d23a267f19c452b8698f94d8b995469b85be6e2c692aa716674fffb/PySMT-0.9.5-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,077   Found link https://files.pythonhosted.org/packages/19/e5/800592c4abecf6a876b309c0b0d6039f28deb4ea0372a52ae70738d83aee/PySMT-0.9.5.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.5
2023-10-24T12:09:07,077   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/10/6c/85c3cc2d5b775dc50dbe31087368d1044bf496e5c71e5d4ba86217e633f5/PySMT-0.9.6.dev3-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,078   Found link https://files.pythonhosted.org/packages/6f/cd/31acb3a010e3205e61de34216bdbfdee05c65fda37f984509ec8ce7d709d/PySMT-0.9.6.dev3.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev3
2023-10-24T12:09:07,079   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/98/79/a303ec74d0982909993ebd038bfc35e5adc0ec3811385dd328045b75e5fc/PySMT-0.9.6.dev5-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,079   Found link https://files.pythonhosted.org/packages/18/1e/a138b81cdc68d1d51d4a30cb40e51d3220b9b478b7d1c851097c5644fd65/PySMT-0.9.6.dev5.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev5
2023-10-24T12:09:07,080   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/99/0e/7b66a610d9abe29873c67d4549b2b6034a1af3f79565aea51f8a25d32338/PySMT-0.9.6.dev7-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,080   Found link https://files.pythonhosted.org/packages/d8/9f/5d1e6700230e049dfe0bbf8d1ebae41e7d50dcf5bf3f55250c0acae59e3d/PySMT-0.9.6.dev7.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev7
2023-10-24T12:09:07,081   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/12/1d/18bffa74db98ca577fecfc5c20322d42a6d466b7c8f50b953cccd22333f6/PySMT-0.9.6.dev9-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,082   Found link https://files.pythonhosted.org/packages/ee/02/9034e1da0b220cfa6db4d0a8acb9f7293eaefedba865a2c0556078b0c5ed/PySMT-0.9.6.dev9.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev9
2023-10-24T12:09:07,082   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/41/91/a8d5475527017ca2ee9bb226e80b29b832ea1288e2d4548386f8e78d8ed1/PySMT-0.9.6.dev11-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,083   Found link https://files.pythonhosted.org/packages/57/7e/abb0968442c34a061c36aed8dd1c951ad8c5025988b340223ae2da47f8c6/PySMT-0.9.6.dev11.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev11
2023-10-24T12:09:07,083   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/9e/a2/222761f31efcddc10d9591360a7f50aca5c2c2769cf34ac6b279c9ea1c86/PySMT-0.9.6.dev14-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,084   Found link https://files.pythonhosted.org/packages/0e/2b/b10a871bcdca7245d4a38e1bfe33370dd4da09a2a686f8e6cf546b213435/PySMT-0.9.6.dev14.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev14
2023-10-24T12:09:07,085   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/5e/b3/c07e70add597b7edb285735e39a017fc0f1fd90e840796893fc4f88103c2/PySMT-0.9.6.dev21-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,086   Found link https://files.pythonhosted.org/packages/c5/81/04292a3d6cc490f9acd4d413fdb69903eaada285a25289b2b7b9d1908a5b/PySMT-0.9.6.dev21.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev21
2023-10-24T12:09:07,086   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/db/f9/3170dc5da63d447d629e9b9ade107429c35432c74af013fad91227e42fdc/PySMT-0.9.6.dev34-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,087   Found link https://files.pythonhosted.org/packages/78/22/b5d511bf5920cbe50c662b9a923bbe226443eff3ca276b20cf9b40efc91f/PySMT-0.9.6.dev34.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev34
2023-10-24T12:09:07,087   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/01/0f/d96af2f008dd0bac88bb6ac55a5df1d65ce705f101213219dff4a853f49b/PySMT-0.9.6.dev38-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,088   Found link https://files.pythonhosted.org/packages/14/9e/429a1804ed9849edb84f797f8adee80fd0efad26ef811f1f41030cd23163/PySMT-0.9.6.dev38.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev38
2023-10-24T12:09:07,088   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/7a/24/3de1d129769eb545abaa49d5f2ad0d9eba75ae66266b59f4e457285a6292/PySMT-0.9.6.dev40-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,089   Found link https://files.pythonhosted.org/packages/f3/5f/dfee8cdfc0dbfce3c1b08487615d22838f92ea405c6a57313b4a19a1a4f5/PySMT-0.9.6.dev40.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev40
2023-10-24T12:09:07,089   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/70/a7/0938fde9eb1c6ac468479c3c100ea7b857cb3cba429f10d9ad57fd7b0a8d/PySMT-0.9.6.dev44-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,090   Found link https://files.pythonhosted.org/packages/be/e4/6fa4d8ee0f75856e2ee18ae49826c3805b610d567eebea50235968220ea3/PySMT-0.9.6.dev44.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev44
2023-10-24T12:09:07,090   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/0c/58/1c70000c0cb37e5c6e214693b09fe1cb1dde4642bd7528070ef595a3b1e5/PySMT-0.9.6.dev48-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2023-10-24T12:09:07,091   Found link https://files.pythonhosted.org/packages/23/70/4acdd16ada840e54fe15b67b346ad0734f7f269979f64f1873b22cbdee30/PySMT-0.9.6.dev48.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev48
2023-10-24T12:09:07,092 Fetching project page and analyzing links: https://www.piwheels.org/simple/pysmt/
2023-10-24T12:09:07,093 Getting page https://www.piwheels.org/simple/pysmt/
2023-10-24T12:09:07,094 Found index url https://www.piwheels.org/simple/
2023-10-24T12:09:07,249 Fetched page https://www.piwheels.org/simple/pysmt/ as text/html
2023-10-24T12:09:07,259   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev44-py3-none-any.whl#sha256=aa5bba81e507c8daff3232ee5c1ab702be70d284a93ada8c48961da30e8b34de (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,259   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev40-py3-none-any.whl#sha256=c7d0e6999324253e24bfb22b42c99b79ccc974554d4562a793823566a1b91ade (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,260   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev38-py3-none-any.whl#sha256=22aa7fded1c3062ad5cdbf0dd082c2f69f82ef5b4ddf9d5714ff660e43a7a919 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,261   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev34-py3-none-any.whl#sha256=2937802d8701161e478d39c3ffd1a42fff4de7eb876f772515bd67d6775d4b9f (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,262   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev21-py3-none-any.whl#sha256=e58a65a873b4115151244779b92021c344eb2e859eecf47b118a0a0547e94dd3 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,262   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev14-py3-none-any.whl#sha256=5f5c3bf241793f1b56c60782a10da5fcd40f77abfcf2f53e856e017751677e0f (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,263   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev11-py3-none-any.whl#sha256=1e43ca6209f6887a83b4f9db76c80f1a680d77d3ae2cfa384079b1208a3c9a0d (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,263   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev9-py3-none-any.whl#sha256=c109715c2dd1e8eeca58260246cddb0b29462e006d66016be12c1a1c59e80912 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,264   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev7-py3-none-any.whl#sha256=fe5915c68bbf1504dee4fa42b9bbf73496da61da0ee35c7581e4416a907cbaa8 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,264   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev5-py3-none-any.whl#sha256=3b5f147ccd8c00ff5b36b57fccf1ab0f06fdb9f60d59cf57e85c407d2f7693c9 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,265   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev3-py3-none-any.whl#sha256=df8191d76cbef19d557caa28609d6dc2426ecfb15050f7e8a44dd0ac43351d63 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,265   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.5-py3-none-any.whl#sha256=c8d966a51c59bfa16b82611de4d8c6d9909e66244a0ca05d6e4ba21067a8ba3c (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,266   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.1.dev166-py3-none-any.whl#sha256=5b07ddcdf2b418724371bf862959b3fc9bf6a73eaac6cf829153c739847de9bc (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,266   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.1.dev163-py3-none-any.whl#sha256=f064be356cc26b89b1cf502b29c93ed8175eafb7b46872d66b303abd145bcc58 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,267   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.1.dev162-py3-none-any.whl#sha256=14b2147401903eb60eccd5ea389f845ed8e875c84136ea8232ba652d31cc8263 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,267   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.8.0-py3-none-any.whl#sha256=a63e2ce0737af3e0982b1b8303d1d887e4d2b0df260371b10e3341f8d41d6bbb (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,268   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.7.5-py3-none-any.whl#sha256=36dbe87edac3fa1b8df46905ea9599c395dee7bf309d962074ca39f788bca02f (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,268   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.7.0-py3-none-any.whl#sha256=fa4292ea14b20bfd90daa48812c67ae3331b23f6d1fd78c6ecb9131ab8af4bf9 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,269   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.6.1-py3-none-any.whl#sha256=04fdec9dc0b3d0d668fc4beefa63131e4b395522da183630d41948e464808834 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,270   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.6.0-py3-none-any.whl#sha256=45f75f4e84c4059a5e0724e232c4056ee8423a981e7c9088e01a855ddac6961b (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,270   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.5.1-py3-none-any.whl#sha256=9083146eba37829480a4c68587bb3e2ca171d56eac607f1fd118bcbdd4d3ef48 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,270   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.5.0-py3-none-any.whl#sha256=37d266e508c1a0be3a6c4ee50e1c4191007bbbb472358174b18f31b31d650d4c (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,271   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.4-py3-none-any.whl#sha256=0ce8ec3371d19a8a665da5529c01360fa9b5ad7176d9996fcbae53faa696adf1 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,271   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.3-py3-none-any.whl#sha256=4a45715649636b76563a3a5bf586fe7c9b0cf3021effb35f0d4cfd7e588f411c (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,272   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.2-py3-none-any.whl#sha256=091c81c35e8d91f451fc9cc9ba90b475c0e32da033b5289433da3c8b3327c61f (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,272   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.1-py3-none-any.whl#sha256=b28e78339ceab144a6512bbaf105b2817d7ba4a932a265360299587954202564 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,273   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.0-py3-none-any.whl#sha256=01774100470f5a79c74f3b740dd4e749a5b9f1a362b7054a4e68096e66db4223 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,273   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.3.0-py3-none-any.whl#sha256=3e5464e67629dfd14f298f09731cc0feb764fe255935c1260d3b2cad4c0e68ab (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,274   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.3.0.dev0-py3-none-any.whl#sha256=befaba1798c6bed224d5f6a4a51ec862b16e870f6332d24327d3c7c1587a735b (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,275   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.5.dev1-py3-none-any.whl#sha256=f8059fdc37e8bde3c43ed504521408ab210019f8258c104c449b5bb21adb3ff0 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,275   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.4-py3-none-any.whl#sha256=5b1f1b694d243ae70f8749443e8cb50b6177dd049d002af48cfaaabd2a04a3d7 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,275   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.4.dev0-py3-none-any.whl#sha256=aa82fbc70d20057bee193e2ef50410c06427bba9e21657b1cb9761319a6046a2 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,276   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.3-py3-none-any.whl#sha256=8d589a037a368b550ee76430c3f81df6425aaa88c690fa1888d5bc35681d2aa5 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,277   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.3.dev0-py3-none-any.whl#sha256=b668cd88c8c713822d851c026a995d328d0bceac9162ed53a720509849fef5e6 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,277   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.2-py3-none-any.whl#sha256=c189f0a25d91b35506bfee183b84e9d626b8ec58a1a009b6ca6ba21fc8863d38 (from https://www.piwheels.org/simple/pysmt/)
2023-10-24T12:09:07,278 Skipping link: not a file: https://www.piwheels.org/simple/pysmt/
2023-10-24T12:09:07,279 Skipping link: not a file: https://pypi.org/simple/pysmt/
2023-10-24T12:09:07,302 Given no hashes to check 1 links for project 'pysmt': discarding no candidates
2023-10-24T12:09:07,319 Collecting pysmt==0.9.6.dev48
2023-10-24T12:09:07,322   Created temporary directory: /tmp/pip-unpack-d0a7jukv
2023-10-24T12:09:07,742   Downloading PySMT-0.9.6.dev48.tar.gz (260 kB)
2023-10-24T12:09:08,262   Added pysmt==0.9.6.dev48 from https://files.pythonhosted.org/packages/23/70/4acdd16ada840e54fe15b67b346ad0734f7f269979f64f1873b22cbdee30/PySMT-0.9.6.dev48.tar.gz to build tracker '/tmp/pip-build-tracker-bfpeukcz'
2023-10-24T12:09:08,264   Running setup.py (path:/tmp/pip-wheel-jctdutim/pysmt_51a8957bbac64543b466bb194e5eb3a5/setup.py) egg_info for package pysmt
2023-10-24T12:09:08,264   Created temporary directory: /tmp/pip-pip-egg-info-n692_ne1
2023-10-24T12:09:08,265   Preparing metadata (setup.py): started
2023-10-24T12:09:08,266   Running command python setup.py egg_info
2023-10-24T12:09:09,284   running egg_info
2023-10-24T12:09:09,285   creating /tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info
2023-10-24T12:09:09,310   writing /tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info/PKG-INFO
2023-10-24T12:09:09,313   writing dependency_links to /tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info/dependency_links.txt
2023-10-24T12:09:09,315   writing entry points to /tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info/entry_points.txt
2023-10-24T12:09:09,316   writing top-level names to /tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info/top_level.txt
2023-10-24T12:09:09,318   writing manifest file '/tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info/SOURCES.txt'
2023-10-24T12:09:09,401   reading manifest file '/tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info/SOURCES.txt'
2023-10-24T12:09:09,403   reading manifest template 'MANIFEST.in'
2023-10-24T12:09:09,409   adding license file 'LICENSE'
2023-10-24T12:09:09,409   adding license file 'NOTICE'
2023-10-24T12:09:09,414   writing manifest file '/tmp/pip-pip-egg-info-n692_ne1/PySMT.egg-info/SOURCES.txt'
2023-10-24T12:09:09,523   Preparing metadata (setup.py): finished with status 'done'
2023-10-24T12:09:09,526   Source in /tmp/pip-wheel-jctdutim/pysmt_51a8957bbac64543b466bb194e5eb3a5 has version 0.9.6.dev48, which satisfies requirement pysmt==0.9.6.dev48 from https://files.pythonhosted.org/packages/23/70/4acdd16ada840e54fe15b67b346ad0734f7f269979f64f1873b22cbdee30/PySMT-0.9.6.dev48.tar.gz
2023-10-24T12:09:09,527   Removed pysmt==0.9.6.dev48 from https://files.pythonhosted.org/packages/23/70/4acdd16ada840e54fe15b67b346ad0734f7f269979f64f1873b22cbdee30/PySMT-0.9.6.dev48.tar.gz from build tracker '/tmp/pip-build-tracker-bfpeukcz'
2023-10-24T12:09:09,532 Created temporary directory: /tmp/pip-unpack-wo4lf0ns
2023-10-24T12:09:09,533 Created temporary directory: /tmp/pip-unpack-h_hgew3y
2023-10-24T12:09:09,536 Building wheels for collected packages: pysmt
2023-10-24T12:09:09,540   Created temporary directory: /tmp/pip-wheel-7nv604d2
2023-10-24T12:09:09,541   Building wheel for pysmt (setup.py): started
2023-10-24T12:09:09,542   Destination directory: /tmp/pip-wheel-7nv604d2
2023-10-24T12:09:09,542   Running command python setup.py bdist_wheel
2023-10-24T12:09:10,554   running bdist_wheel
2023-10-24T12:09:10,651   running build
2023-10-24T12:09:10,651   running build_py
2023-10-24T12:09:10,680   creating build
2023-10-24T12:09:10,680   creating build/lib
2023-10-24T12:09:10,681   creating build/lib/pysmt
2023-10-24T12:09:10,683   copying pysmt/decorators.py -> build/lib/pysmt
2023-10-24T12:09:10,685   copying pysmt/__main__.py -> build/lib/pysmt
2023-10-24T12:09:10,687   copying pysmt/oracles.py -> build/lib/pysmt
2023-10-24T12:09:10,689   copying pysmt/type_checker.py -> build/lib/pysmt
2023-10-24T12:09:10,692   copying pysmt/__init__.py -> build/lib/pysmt
2023-10-24T12:09:10,694   copying pysmt/factory.py -> build/lib/pysmt
2023-10-24T12:09:10,696   copying pysmt/operators.py -> build/lib/pysmt
2023-10-24T12:09:10,699   copying pysmt/substituter.py -> build/lib/pysmt
2023-10-24T12:09:10,701   copying pysmt/shortcuts.py -> build/lib/pysmt
2023-10-24T12:09:10,704   copying pysmt/simplifier.py -> build/lib/pysmt
2023-10-24T12:09:10,707   copying pysmt/fnode.py -> build/lib/pysmt
2023-10-24T12:09:10,710   copying pysmt/logics.py -> build/lib/pysmt
2023-10-24T12:09:10,713   copying pysmt/formula.py -> build/lib/pysmt
2023-10-24T12:09:10,716   copying pysmt/exceptions.py -> build/lib/pysmt
2023-10-24T12:09:10,718   copying pysmt/printers.py -> build/lib/pysmt
2023-10-24T12:09:10,720   copying pysmt/utils.py -> build/lib/pysmt
2023-10-24T12:09:10,722   copying pysmt/parsing.py -> build/lib/pysmt
2023-10-24T12:09:10,725   copying pysmt/configuration.py -> build/lib/pysmt
2023-10-24T12:09:10,727   copying pysmt/constants.py -> build/lib/pysmt
2023-10-24T12:09:10,729   copying pysmt/environment.py -> build/lib/pysmt
2023-10-24T12:09:10,731   copying pysmt/typing.py -> build/lib/pysmt
2023-10-24T12:09:10,734   copying pysmt/rewritings.py -> build/lib/pysmt
2023-10-24T12:09:10,737   creating build/lib/pysmt/walkers
2023-10-24T12:09:10,738   copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers
2023-10-24T12:09:10,740   copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers
2023-10-24T12:09:10,742   copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers
2023-10-24T12:09:10,744   copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers
2023-10-24T12:09:10,746   copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers
2023-10-24T12:09:10,748   creating build/lib/pysmt/smtlib
2023-10-24T12:09:10,749   copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib
2023-10-24T12:09:10,751   copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib
2023-10-24T12:09:10,753   copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib
2023-10-24T12:09:10,755   copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib
2023-10-24T12:09:10,757   copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib
2023-10-24T12:09:10,760   copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib
2023-10-24T12:09:10,762   copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib
2023-10-24T12:09:10,765   creating build/lib/pysmt/test
2023-10-24T12:09:10,766   copying pysmt/test/test_int.py -> build/lib/pysmt/test
2023-10-24T12:09:10,768   copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
2023-10-24T12:09:10,771   copying pysmt/test/test_qe.py -> build/lib/pysmt/test
2023-10-24T12:09:10,773   copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
2023-10-24T12:09:10,775   copying pysmt/test/test_lira.py -> build/lib/pysmt/test
2023-10-24T12:09:10,777   copying pysmt/test/test_simplify.py -> build/lib/pysmt/test
2023-10-24T12:09:10,780   copying pysmt/test/test_logics.py -> build/lib/pysmt/test
2023-10-24T12:09:10,782   copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
2023-10-24T12:09:10,784   copying pysmt/test/test_solving.py -> build/lib/pysmt/test
2023-10-24T12:09:10,787   copying pysmt/test/test_cnf.py -> build/lib/pysmt/test
2023-10-24T12:09:10,789   copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test
2023-10-24T12:09:10,791   copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test
2023-10-24T12:09:10,792   copying pysmt/test/test_string.py -> build/lib/pysmt/test
2023-10-24T12:09:10,795   copying pysmt/test/__init__.py -> build/lib/pysmt/test
2023-10-24T12:09:10,797   copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
2023-10-24T12:09:10,799   copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test
2023-10-24T12:09:10,801   copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
2023-10-24T12:09:10,803   copying pysmt/test/test_array.py -> build/lib/pysmt/test
2023-10-24T12:09:10,805   copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
2023-10-24T12:09:10,807   copying pysmt/test/test_euf.py -> build/lib/pysmt/test
2023-10-24T12:09:10,809   copying pysmt/test/test_models.py -> build/lib/pysmt/test
2023-10-24T12:09:10,811   copying pysmt/test/test_imports.py -> build/lib/pysmt/test
2023-10-24T12:09:10,813   copying pysmt/test/test_back.py -> build/lib/pysmt/test
2023-10-24T12:09:10,814   copying pysmt/test/test_env.py -> build/lib/pysmt/test
2023-10-24T12:09:10,817   copying pysmt/test/test_size.py -> build/lib/pysmt/test
2023-10-24T12:09:10,818   copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
2023-10-24T12:09:10,821   copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
2023-10-24T12:09:10,822   copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
2023-10-24T12:09:10,824   copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
2023-10-24T12:09:10,826   copying pysmt/test/test_configuration.py -> build/lib/pysmt/test
2023-10-24T12:09:10,827   copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
2023-10-24T12:09:10,829   copying pysmt/test/test_constants.py -> build/lib/pysmt/test
2023-10-24T12:09:10,831   copying pysmt/test/test_bv.py -> build/lib/pysmt/test
2023-10-24T12:09:10,834   copying pysmt/test/test_printing.py -> build/lib/pysmt/test
2023-10-24T12:09:10,836   copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
2023-10-24T12:09:10,838   copying pysmt/test/test_nia.py -> build/lib/pysmt/test
2023-10-24T12:09:10,840   copying pysmt/test/examples.py -> build/lib/pysmt/test
2023-10-24T12:09:10,843   copying pysmt/test/test_formula.py -> build/lib/pysmt/test
2023-10-24T12:09:10,846   copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
2023-10-24T12:09:10,848   copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
2023-10-24T12:09:10,850   copying pysmt/test/test_sorts.py -> build/lib/pysmt/test
2023-10-24T12:09:10,852   copying pysmt/test/test_bdd.py -> build/lib/pysmt/test
2023-10-24T12:09:10,855   creating build/lib/pysmt/solvers
2023-10-24T12:09:10,856   copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,859   copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,861   copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,864   copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,865   copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,868   copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,870   copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,873   copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,875   copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,877   copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,880   copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,882   copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,884   copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,887   copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,891   copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
2023-10-24T12:09:10,893   creating build/lib/pysmt/cmd
2023-10-24T12:09:10,894   copying pysmt/cmd/install.py -> build/lib/pysmt/cmd
2023-10-24T12:09:10,897   copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd
2023-10-24T12:09:10,899   copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd
2023-10-24T12:09:10,901   copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd
2023-10-24T12:09:10,903   creating build/lib/pysmt/smtlib/parser
2023-10-24T12:09:10,905   copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser
2023-10-24T12:09:10,907   copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser
2023-10-24T12:09:10,911   creating build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,913   copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,915   copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,918   copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,920   copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,922   copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,924   copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,926   copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,928   copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,930   copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,932   copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,934   copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,936   copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,939   copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,941   copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,943   copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,946   copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,948   copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,950   copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,953   copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,955   copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib
2023-10-24T12:09:10,957   creating build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,959   copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,961   copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,963   copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,965   copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,968   copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,970   copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,972   copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,974   copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,977   copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers
2023-10-24T12:09:10,979   running egg_info
2023-10-24T12:09:11,037   writing PySMT.egg-info/PKG-INFO
2023-10-24T12:09:11,041   writing dependency_links to PySMT.egg-info/dependency_links.txt
2023-10-24T12:09:11,043   writing entry points to PySMT.egg-info/entry_points.txt
2023-10-24T12:09:11,045   writing top-level names to PySMT.egg-info/top_level.txt
2023-10-24T12:09:11,080   reading manifest file 'PySMT.egg-info/SOURCES.txt'
2023-10-24T12:09:11,085   reading manifest template 'MANIFEST.in'
2023-10-24T12:09:11,091   adding license file 'LICENSE'
2023-10-24T12:09:11,091   adding license file 'NOTICE'
2023-10-24T12:09:11,098   writing manifest file 'PySMT.egg-info/SOURCES.txt'
2023-10-24T12:09:11,102   /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:204: _Warning: Package 'pysmt.test.configs' is absent from the `packages` configuration.
2023-10-24T12:09:11,103   !!

2023-10-24T12:09:11,104           ********************************************************************************
2023-10-24T12:09:11,105           ############################
2023-10-24T12:09:11,105           # Package would be ignored #
2023-10-24T12:09:11,106           ############################
2023-10-24T12:09:11,107           Python recognizes 'pysmt.test.configs' as an importable package[^1],
2023-10-24T12:09:11,107           but it is absent from setuptools' `packages` configuration.

2023-10-24T12:09:11,108           This leads to an ambiguous overall configuration. If you want to distribute this
2023-10-24T12:09:11,108           package, please make sure that 'pysmt.test.configs' is explicitly added
2023-10-24T12:09:11,109           to the `packages` configuration field.

2023-10-24T12:09:11,110           Alternatively, you can also rely on setuptools' discovery methods
2023-10-24T12:09:11,110           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2023-10-24T12:09:11,110           instead of `find_packages(...)`/`find:`).

2023-10-24T12:09:11,111           You can read more about "package discovery" on setuptools documentation page:

2023-10-24T12:09:11,112           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2023-10-24T12:09:11,113           If you don't want 'pysmt.test.configs' to be distributed and are
2023-10-24T12:09:11,114           already explicitly excluding 'pysmt.test.configs' via
2023-10-24T12:09:11,114           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2023-10-24T12:09:11,115           you can try to use `exclude_package_data`, or `include-package-data=False` in
2023-10-24T12:09:11,115           combination with a more fine grained `package-data` configuration.

2023-10-24T12:09:11,116           You can read more about "package data files" on setuptools documentation page:

2023-10-24T12:09:11,117           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2023-10-24T12:09:11,118           [^1]: For Python, any directory (with suitable naming) can be imported,
2023-10-24T12:09:11,119                 even if it does not contain any `.py` files.
2023-10-24T12:09:11,119                 On the other hand, currently there is no concept of package data
2023-10-24T12:09:11,120                 directory, all directories are treated like packages.
2023-10-24T12:09:11,121           ********************************************************************************

2023-10-24T12:09:11,122   !!
2023-10-24T12:09:11,122     check.warn(importable)
2023-10-24T12:09:11,123   creating build/lib/pysmt/test/configs
2023-10-24T12:09:11,124   copying pysmt/test/configs/config1.ini -> build/lib/pysmt/test/configs
2023-10-24T12:09:11,124   copying pysmt/test/configs/config_bad.ini -> build/lib/pysmt/test/configs
2023-10-24T12:09:11,152   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-10-24T12:09:11,152   !!

2023-10-24T12:09:11,154           ********************************************************************************
2023-10-24T12:09:11,154           Please avoid running ``setup.py`` directly.
2023-10-24T12:09:11,155           Instead, use pypa/build, pypa/installer or other
2023-10-24T12:09:11,155           standards-based tools.

2023-10-24T12:09:11,156           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-10-24T12:09:11,157           ********************************************************************************

2023-10-24T12:09:11,158   !!
2023-10-24T12:09:11,159     self.initialize_options()
2023-10-24T12:09:11,180   installing to build/bdist.linux-armv7l/wheel
2023-10-24T12:09:11,181   running install
2023-10-24T12:09:11,205   running install_lib
2023-10-24T12:09:11,231   creating build/bdist.linux-armv7l
2023-10-24T12:09:11,232   creating build/bdist.linux-armv7l/wheel
2023-10-24T12:09:11,234   creating build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,236   creating build/bdist.linux-armv7l/wheel/pysmt/walkers
2023-10-24T12:09:11,237   copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2023-10-24T12:09:11,240   copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2023-10-24T12:09:11,242   copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2023-10-24T12:09:11,245   copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2023-10-24T12:09:11,248   copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2023-10-24T12:09:11,250   copying build/lib/pysmt/decorators.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,253   copying build/lib/pysmt/__main__.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,255   copying build/lib/pysmt/oracles.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,258   copying build/lib/pysmt/type_checker.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,261   copying build/lib/pysmt/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,263   creating build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,265   copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,268   copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,270   copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,272   copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,275   copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,278   copying build/lib/pysmt/smtlib/utils.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,280   creating build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
2023-10-24T12:09:11,281   copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
2023-10-24T12:09:11,284   copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
2023-10-24T12:09:11,287   copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2023-10-24T12:09:11,290   copying build/lib/pysmt/factory.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,293   copying build/lib/pysmt/operators.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,295   copying build/lib/pysmt/substituter.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,298   copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,302   creating build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,304   copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,306   copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,310   copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,312   copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,315   copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,318   copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,320   copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,323   creating build/bdist.linux-armv7l/wheel/pysmt/test/configs
2023-10-24T12:09:11,325   copying build/lib/pysmt/test/configs/config_bad.ini -> build/bdist.linux-armv7l/wheel/pysmt/test/configs
2023-10-24T12:09:11,327   copying build/lib/pysmt/test/configs/config1.ini -> build/bdist.linux-armv7l/wheel/pysmt/test/configs
2023-10-24T12:09:11,329   copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,332   copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,335   copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,337   copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,339   copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,342   copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,345   copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,347   copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,350   copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,353   creating build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,355   copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,357   copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,360   copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,362   copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,364   copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,366   copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,368   copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,370   copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,372   copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,374   copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,376   copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,379   copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,381   copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,383   copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,385   copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,388   copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,390   copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,392   copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,395   copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,397   copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2023-10-24T12:09:11,399   copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,401   copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,404   copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,406   copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,408   copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,410   copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,412   copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,414   copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,416   copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,418   copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,420   copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,422   copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,424   copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,425   copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,427   copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,429   copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,432   copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,434   copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,436   copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,439   copying build/lib/pysmt/test/test_nia.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,441   copying build/lib/pysmt/test/examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,444   copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,447   copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,449   copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,452   copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,454   copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2023-10-24T12:09:11,457   creating build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,458   copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,460   copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,463   copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,466   copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,467   copying build/lib/pysmt/solvers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,470   copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,472   copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,475   copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,477   copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,479   copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,482   copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,483   copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,486   copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,489   copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,492   copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2023-10-24T12:09:11,494   copying build/lib/pysmt/simplifier.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,497   copying build/lib/pysmt/fnode.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,500   copying build/lib/pysmt/logics.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,503   copying build/lib/pysmt/formula.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,506   copying build/lib/pysmt/exceptions.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,508   copying build/lib/pysmt/printers.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,510   copying build/lib/pysmt/utils.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,512   copying build/lib/pysmt/parsing.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,515   copying build/lib/pysmt/configuration.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,517   copying build/lib/pysmt/constants.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,519   copying build/lib/pysmt/environment.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,521   copying build/lib/pysmt/typing.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,524   creating build/bdist.linux-armv7l/wheel/pysmt/cmd
2023-10-24T12:09:11,526   creating build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,527   copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,529   copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,531   copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,532   copying build/lib/pysmt/cmd/installers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,534   copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,536   copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,538   copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,540   copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,542   copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2023-10-24T12:09:11,545   copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2023-10-24T12:09:11,547   copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2023-10-24T12:09:11,549   copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2023-10-24T12:09:11,551   copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2023-10-24T12:09:11,553   copying build/lib/pysmt/rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt
2023-10-24T12:09:11,556   running install_egg_info
2023-10-24T12:09:11,587   Copying PySMT.egg-info to build/bdist.linux-armv7l/wheel/PySMT-0.9.6.dev48-py3.11.egg-info
2023-10-24T12:09:11,598   running install_scripts
2023-10-24T12:09:11,612   creating build/bdist.linux-armv7l/wheel/PySMT-0.9.6.dev48.dist-info/WHEEL
2023-10-24T12:09:11,614   creating '/tmp/pip-wheel-7nv604d2/PySMT-0.9.6.dev48-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-10-24T12:09:11,618   adding 'pysmt/__init__.py'
2023-10-24T12:09:11,620   adding 'pysmt/__main__.py'
2023-10-24T12:09:11,621   adding 'pysmt/configuration.py'
2023-10-24T12:09:11,623   adding 'pysmt/constants.py'
2023-10-24T12:09:11,625   adding 'pysmt/decorators.py'
2023-10-24T12:09:11,627   adding 'pysmt/environment.py'
2023-10-24T12:09:11,628   adding 'pysmt/exceptions.py'
2023-10-24T12:09:11,631   adding 'pysmt/factory.py'
2023-10-24T12:09:11,634   adding 'pysmt/fnode.py'
2023-10-24T12:09:11,639   adding 'pysmt/formula.py'
2023-10-24T12:09:11,642   adding 'pysmt/logics.py'
2023-10-24T12:09:11,644   adding 'pysmt/operators.py'
2023-10-24T12:09:11,646   adding 'pysmt/oracles.py'
2023-10-24T12:09:11,649   adding 'pysmt/parsing.py'
2023-10-24T12:09:11,651   adding 'pysmt/printers.py'
2023-10-24T12:09:11,655   adding 'pysmt/rewritings.py'
2023-10-24T12:09:11,659   adding 'pysmt/shortcuts.py'
2023-10-24T12:09:11,663   adding 'pysmt/simplifier.py'
2023-10-24T12:09:11,666   adding 'pysmt/substituter.py'
2023-10-24T12:09:11,668   adding 'pysmt/type_checker.py'
2023-10-24T12:09:11,670   adding 'pysmt/typing.py'
2023-10-24T12:09:11,671   adding 'pysmt/utils.py'
2023-10-24T12:09:11,673   adding 'pysmt/cmd/__init__.py'
2023-10-24T12:09:11,674   adding 'pysmt/cmd/check_version.py'
2023-10-24T12:09:11,676   adding 'pysmt/cmd/install.py'
2023-10-24T12:09:11,678   adding 'pysmt/cmd/shell.py'
2023-10-24T12:09:11,679   adding 'pysmt/cmd/installers/__init__.py'
2023-10-24T12:09:11,681   adding 'pysmt/cmd/installers/base.py'
2023-10-24T12:09:11,683   adding 'pysmt/cmd/installers/bdd.py'
2023-10-24T12:09:11,684   adding 'pysmt/cmd/installers/btor.py'
2023-10-24T12:09:11,686   adding 'pysmt/cmd/installers/cvc4.py'
2023-10-24T12:09:11,687   adding 'pysmt/cmd/installers/msat.py'
2023-10-24T12:09:11,689   adding 'pysmt/cmd/installers/pico.py'
2023-10-24T12:09:11,690   adding 'pysmt/cmd/installers/yices.py'
2023-10-24T12:09:11,691   adding 'pysmt/cmd/installers/z3.py'
2023-10-24T12:09:11,693   adding 'pysmt/smtlib/__init__.py'
2023-10-24T12:09:11,694   adding 'pysmt/smtlib/annotations.py'
2023-10-24T12:09:11,696   adding 'pysmt/smtlib/commands.py'
2023-10-24T12:09:11,698   adding 'pysmt/smtlib/printers.py'
2023-10-24T12:09:11,700   adding 'pysmt/smtlib/script.py'
2023-10-24T12:09:11,702   adding 'pysmt/smtlib/solver.py'
2023-10-24T12:09:11,703   adding 'pysmt/smtlib/utils.py'
2023-10-24T12:09:11,705   adding 'pysmt/smtlib/parser/__init__.py'
2023-10-24T12:09:11,711   adding 'pysmt/smtlib/parser/parser.py'
2023-10-24T12:09:11,713   adding 'pysmt/solvers/__init__.py'
2023-10-24T12:09:11,716   adding 'pysmt/solvers/bdd.py'
2023-10-24T12:09:11,718   adding 'pysmt/solvers/btor.py'
2023-10-24T12:09:11,721   adding 'pysmt/solvers/cvc4.py'
2023-10-24T12:09:11,722   adding 'pysmt/solvers/eager.py'
2023-10-24T12:09:11,724   adding 'pysmt/solvers/interpolation.py'
2023-10-24T12:09:11,729   adding 'pysmt/solvers/msat.py'
2023-10-24T12:09:11,731   adding 'pysmt/solvers/options.py'
2023-10-24T12:09:11,733   adding 'pysmt/solvers/pico.py'
2023-10-24T12:09:11,735   adding 'pysmt/solvers/portfolio.py'
2023-10-24T12:09:11,736   adding 'pysmt/solvers/qelim.py'
2023-10-24T12:09:11,738   adding 'pysmt/solvers/smtlib.py'
2023-10-24T12:09:11,740   adding 'pysmt/solvers/solver.py'
2023-10-24T12:09:11,743   adding 'pysmt/solvers/yices.py'
2023-10-24T12:09:11,748   adding 'pysmt/solvers/z3.py'
2023-10-24T12:09:11,751   adding 'pysmt/test/__init__.py'
2023-10-24T12:09:11,754   adding 'pysmt/test/examples.py'
2023-10-24T12:09:11,756   adding 'pysmt/test/test_array.py'
2023-10-24T12:09:11,757   adding 'pysmt/test/test_back.py'
2023-10-24T12:09:11,759   adding 'pysmt/test/test_bdd.py'
2023-10-24T12:09:11,761   adding 'pysmt/test/test_bv.py'
2023-10-24T12:09:11,763   adding 'pysmt/test/test_bv_simplification.py'
2023-10-24T12:09:11,764   adding 'pysmt/test/test_cnf.py'
2023-10-24T12:09:11,765   adding 'pysmt/test/test_configuration.py'
2023-10-24T12:09:11,767   adding 'pysmt/test/test_constants.py'
2023-10-24T12:09:11,768   adding 'pysmt/test/test_cvc4_quantifiers.py'
2023-10-24T12:09:11,770   adding 'pysmt/test/test_dwf.py'
2023-10-24T12:09:11,771   adding 'pysmt/test/test_eager_model.py'
2023-10-24T12:09:11,773   adding 'pysmt/test/test_env.py'
2023-10-24T12:09:11,774   adding 'pysmt/test/test_euf.py'
2023-10-24T12:09:11,778   adding 'pysmt/test/test_formula.py'
2023-10-24T12:09:11,780   adding 'pysmt/test/test_hr_parsing.py'
2023-10-24T12:09:11,781   adding 'pysmt/test/test_imports.py'
2023-10-24T12:09:11,783   adding 'pysmt/test/test_int.py'
2023-10-24T12:09:11,784   adding 'pysmt/test/test_interpolation.py'
2023-10-24T12:09:11,785   adding 'pysmt/test/test_lira.py'
2023-10-24T12:09:11,787   adding 'pysmt/test/test_logics.py'
2023-10-24T12:09:11,788   adding 'pysmt/test/test_models.py'
2023-10-24T12:09:11,790   adding 'pysmt/test/test_native_qe.py'
2023-10-24T12:09:11,791   adding 'pysmt/test/test_nia.py'
2023-10-24T12:09:11,793   adding 'pysmt/test/test_nlira.py'
2023-10-24T12:09:11,794   adding 'pysmt/test/test_oracles.py'
2023-10-24T12:09:11,796   adding 'pysmt/test/test_portfolio.py'
2023-10-24T12:09:11,797   adding 'pysmt/test/test_printing.py'
2023-10-24T12:09:11,799   adding 'pysmt/test/test_qe.py'
2023-10-24T12:09:11,801   adding 'pysmt/test/test_regressions.py'
2023-10-24T12:09:11,803   adding 'pysmt/test/test_rewritings.py'
2023-10-24T12:09:11,805   adding 'pysmt/test/test_shannon_expansion.py'
2023-10-24T12:09:11,806   adding 'pysmt/test/test_simplify.py'
2023-10-24T12:09:11,807   adding 'pysmt/test/test_size.py'
2023-10-24T12:09:11,810   adding 'pysmt/test/test_solving.py'
2023-10-24T12:09:11,812   adding 'pysmt/test/test_sorts.py'
2023-10-24T12:09:11,813   adding 'pysmt/test/test_string.py'
2023-10-24T12:09:11,815   adding 'pysmt/test/test_typechecker.py'
2023-10-24T12:09:11,816   adding 'pysmt/test/test_unsat_cores.py'
2023-10-24T12:09:11,818   adding 'pysmt/test/test_walker_ext.py'
2023-10-24T12:09:11,819   adding 'pysmt/test/test_walkers.py'
2023-10-24T12:09:11,821   adding 'pysmt/test/configs/config1.ini'
2023-10-24T12:09:11,822   adding 'pysmt/test/configs/config_bad.ini'
2023-10-24T12:09:11,824   adding 'pysmt/test/smtlib/__init__.py'
2023-10-24T12:09:11,825   adding 'pysmt/test/smtlib/parser_utils.py'
2023-10-24T12:09:11,827   adding 'pysmt/test/smtlib/test_annotations.py'
2023-10-24T12:09:11,828   adding 'pysmt/test/smtlib/test_fuzzed.py'
2023-10-24T12:09:11,830   adding 'pysmt/test/smtlib/test_generic_wrapper.py'
2023-10-24T12:09:11,831   adding 'pysmt/test/smtlib/test_griggio.py'
2023-10-24T12:09:11,832   adding 'pysmt/test/smtlib/test_model_validation.py'
2023-10-24T12:09:11,834   adding 'pysmt/test/smtlib/test_parser_examples.py'
2023-10-24T12:09:11,835   adding 'pysmt/test/smtlib/test_parser_extensibility.py'
2023-10-24T12:09:11,837   adding 'pysmt/test/smtlib/test_parser_lra.py'
2023-10-24T12:09:11,838   adding 'pysmt/test/smtlib/test_parser_qf_arrays.py'
2023-10-24T12:09:11,839   adding 'pysmt/test/smtlib/test_parser_qf_lia.py'
2023-10-24T12:09:11,840   adding 'pysmt/test/smtlib/test_parser_qf_lira.py'
2023-10-24T12:09:11,842   adding 'pysmt/test/smtlib/test_parser_qf_lra.py'
2023-10-24T12:09:11,843   adding 'pysmt/test/smtlib/test_parser_qf_nia.py'
2023-10-24T12:09:11,844   adding 'pysmt/test/smtlib/test_parser_qf_nra.py'
2023-10-24T12:09:11,846   adding 'pysmt/test/smtlib/test_parser_qf_uf.py'
2023-10-24T12:09:11,847   adding 'pysmt/test/smtlib/test_parser_qf_ufbv.py'
2023-10-24T12:09:11,848   adding 'pysmt/test/smtlib/test_parser_type_error.py'
2023-10-24T12:09:11,850   adding 'pysmt/test/smtlib/test_smtlibscript.py'
2023-10-24T12:09:11,852   adding 'pysmt/walkers/__init__.py'
2023-10-24T12:09:11,853   adding 'pysmt/walkers/dag.py'
2023-10-24T12:09:11,855   adding 'pysmt/walkers/generic.py'
2023-10-24T12:09:11,856   adding 'pysmt/walkers/identitydag.py'
2023-10-24T12:09:11,858   adding 'pysmt/walkers/tree.py'
2023-10-24T12:09:11,860   adding 'PySMT-0.9.6.dev48.dist-info/LICENSE'
2023-10-24T12:09:11,861   adding 'PySMT-0.9.6.dev48.dist-info/METADATA'
2023-10-24T12:09:11,862   adding 'PySMT-0.9.6.dev48.dist-info/NOTICE'
2023-10-24T12:09:11,863   adding 'PySMT-0.9.6.dev48.dist-info/WHEEL'
2023-10-24T12:09:11,864   adding 'PySMT-0.9.6.dev48.dist-info/entry_points.txt'
2023-10-24T12:09:11,865   adding 'PySMT-0.9.6.dev48.dist-info/top_level.txt'
2023-10-24T12:09:11,868   adding 'PySMT-0.9.6.dev48.dist-info/RECORD'
2023-10-24T12:09:11,874   removing build/bdist.linux-armv7l/wheel
2023-10-24T12:09:12,018   Building wheel for pysmt (setup.py): finished with status 'done'
2023-10-24T12:09:12,025   Created wheel for pysmt: filename=PySMT-0.9.6.dev48-py3-none-any.whl size=320362 sha256=e80a0c0f608dd174e3d7f7e95085c042414d1b8d7434c7140ff235ba5d36bf2d
2023-10-24T12:09:12,026   Stored in directory: /tmp/pip-ephem-wheel-cache-muluqwkc/wheels/5f/69/ea/80ee9c4f5021bf434499478f231c4d44593a8dfd38e96e2fd8
2023-10-24T12:09:12,039 Successfully built pysmt
2023-10-24T12:09:12,050 Removed build tracker: '/tmp/pip-build-tracker-bfpeukcz'