2025-06-07T09:47:23,955 Created temporary directory: /tmp/pip-build-tracker-8b3kakzx
2025-06-07T09:47:23,956 Initialized build tracking at /tmp/pip-build-tracker-8b3kakzx
2025-06-07T09:47:23,957 Created build tracker: /tmp/pip-build-tracker-8b3kakzx
2025-06-07T09:47:23,957 Entered build tracker: /tmp/pip-build-tracker-8b3kakzx
2025-06-07T09:47:23,958 Created temporary directory: /tmp/pip-wheel-2prln9zk
2025-06-07T09:47:23,962 Created temporary directory: /tmp/pip-ephem-wheel-cache-s1iv_p3p
2025-06-07T09:47:24,011 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-06-07T09:47:24,014 2 location(s) to search for versions of pysmt:
2025-06-07T09:47:24,014 * https://pypi.org/simple/pysmt/
2025-06-07T09:47:24,014 * https://www.piwheels.org/simple/pysmt/
2025-06-07T09:47:24,015 Fetching project page and analyzing links: https://pypi.org/simple/pysmt/
2025-06-07T09:47:24,015 Getting page https://pypi.org/simple/pysmt/
2025-06-07T09:47:24,017 Found index url https://pypi.org/simple/
2025-06-07T09:47:24,241 Fetched page https://pypi.org/simple/pysmt/ as application/vnd.pypi.simple.v1+json
2025-06-07T09:47:24,255   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
2025-06-07T09:47:24,256   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
2025-06-07T09:47:24,257   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
2025-06-07T09:47:24,257   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
2025-06-07T09:47:24,258   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
2025-06-07T09:47:24,259   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
2025-06-07T09:47:24,259   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
2025-06-07T09:47:24,260   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
2025-06-07T09:47:24,261   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
2025-06-07T09:47:24,261   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
2025-06-07T09:47:24,262   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
2025-06-07T09:47:24,263   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
2025-06-07T09:47:24,263   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
2025-06-07T09:47:24,264   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
2025-06-07T09:47:24,265   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
2025-06-07T09:47:24,266   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
2025-06-07T09:47:24,266   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
2025-06-07T09:47:24,267   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
2025-06-07T09:47:24,267   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
2025-06-07T09:47:24,268   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
2025-06-07T09:47:24,268   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/)
2025-06-07T09:47:24,269   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/)
2025-06-07T09:47:24,269   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/)
2025-06-07T09:47:24,270   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/)
2025-06-07T09:47:24,270   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/)
2025-06-07T09:47:24,271   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/)
2025-06-07T09:47:24,272   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/)
2025-06-07T09:47:24,272   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/)
2025-06-07T09:47:24,273   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/)
2025-06-07T09:47:24,274   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/)
2025-06-07T09:47:24,274   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/)
2025-06-07T09:47:24,275   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/)
2025-06-07T09:47:24,276   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/)
2025-06-07T09:47:24,276   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/)
2025-06-07T09:47:24,276   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/)
2025-06-07T09:47:24,277   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/)
2025-06-07T09:47:24,277   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/)
2025-06-07T09:47:24,278   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/)
2025-06-07T09:47:24,278   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/)
2025-06-07T09:47:24,279   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/)
2025-06-07T09:47:24,280   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/)
2025-06-07T09:47:24,280   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/)
2025-06-07T09:47:24,281   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/)
2025-06-07T09:47:24,281   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/)
2025-06-07T09:47:24,282   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/)
2025-06-07T09:47:24,283   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/)
2025-06-07T09:47:24,283   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/)
2025-06-07T09:47:24,284   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/)
2025-06-07T09:47:24,285   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/)
2025-06-07T09:47:24,285   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/)
2025-06-07T09:47:24,285   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/)
2025-06-07T09:47:24,286   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/)
2025-06-07T09:47:24,286   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/)
2025-06-07T09:47:24,287   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/)
2025-06-07T09:47:24,288   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/)
2025-06-07T09:47:24,288   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/)
2025-06-07T09:47:24,289   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/)
2025-06-07T09:47:24,289   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/)
2025-06-07T09:47:24,290   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/)
2025-06-07T09:47:24,291   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
2025-06-07T09:47:24,291   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/)
2025-06-07T09:47:24,292   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
2025-06-07T09:47:24,293   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/)
2025-06-07T09:47:24,294   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
2025-06-07T09:47:24,295   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/)
2025-06-07T09:47:24,295   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
2025-06-07T09:47:24,296   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/)
2025-06-07T09:47:24,297   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
2025-06-07T09:47:24,297   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/)
2025-06-07T09:47:24,298   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
2025-06-07T09:47:24,299   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/)
2025-06-07T09:47:24,300   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
2025-06-07T09:47:24,301   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/)
2025-06-07T09:47:24,302   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
2025-06-07T09:47:24,303   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/)
2025-06-07T09:47:24,303   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
2025-06-07T09:47:24,304   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/)
2025-06-07T09:47:24,305   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
2025-06-07T09:47:24,305   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/)
2025-06-07T09:47:24,306   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
2025-06-07T09:47:24,307   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/)
2025-06-07T09:47:24,308   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
2025-06-07T09:47:24,308   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/)
2025-06-07T09:47:24,309   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
2025-06-07T09:47:24,309   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/)
2025-06-07T09:47:24,310   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
2025-06-07T09:47:24,310   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/)
2025-06-07T09:47:24,311   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
2025-06-07T09:47:24,312   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/)
2025-06-07T09:47:24,312   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
2025-06-07T09:47:24,313   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/)
2025-06-07T09:47:24,314   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
2025-06-07T09:47:24,314   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/15/81/0cb95a7b118fb4be51f6e0dfebe888aefdbb2a4fce8d6f93572ad88e959b/PySMT-0.9.6.dev53-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,315   Found link https://files.pythonhosted.org/packages/a3/5b/d79c528745754442f2848d15d4fddcde636c5799732f157d7e568e203370/PySMT-0.9.6.dev53.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev53
2025-06-07T09:47:24,316   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/12/97/58e11cec07d8ad10e89283d7896bdc6805d64470c67998af746ae4128dcc/PySMT-0.9.6.dev57-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,316   Found link https://files.pythonhosted.org/packages/ff/ac/10d84255e557c8775f2dc950015ba6035229300b6df1469a3671fea7eac8/PySMT-0.9.6.dev57.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev57
2025-06-07T09:47:24,317   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/e3/00/3d80667711b1818a531a63da5e7b5e2aefabd2e603fef4db88968907b69d/PySMT-0.9.6.dev65-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,318   Found link https://files.pythonhosted.org/packages/80/7a/e6c0d4c625d1d3d359367c4d76d5fc5c9657b1b647a975bf7bcc330891ee/PySMT-0.9.6.dev65.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev65
2025-06-07T09:47:24,319   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/79/0a/4e0369b2a4ce40a5b2e2bdf09e7be32e39eb0511a9ca7eb3f921d4cc03af/PySMT-0.9.6-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,319   Found link https://files.pythonhosted.org/packages/48/4d/a972e021606eb56828b339842ec523d164879c4b62dcd2c5e4404355d10e/PySMT-0.9.6.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.6
2025-06-07T09:47:24,320   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/d8/a0/05d8212be05617f4ba2e7b8ca3c0a89efd58fbe85d9e1230321ef693a934/PySMT-0.9.7.dev101-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,320   Found link https://files.pythonhosted.org/packages/3b/49/13e201c1bb6e58e9baab0bd9eca3912cef81711e6ff4c516e780da4bc773/PySMT-0.9.7.dev101.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev101
2025-06-07T09:47:24,321   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/aa/c1/5eac6404bae63dc41e669c53c97853e6f20ed5353d4de4c5b9e8c4a1720d/PySMT-0.9.7.dev104-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,321   Found link https://files.pythonhosted.org/packages/31/6d/f02b6ccea9e1e35d269b0eba1b09572fb9dad2801837bf2a5cefc7dbe090/PySMT-0.9.7.dev104.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev104
2025-06-07T09:47:24,322   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/04/9a/6ce3077fa31f5a9d636f05135437eb81134a94261a7e19747df2e2e0246f/PySMT-0.9.7.dev105-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,322   Found link https://files.pythonhosted.org/packages/ca/a0/0b99818020c1d87875c52d5600d7a116da5ea813642115e9f7bdf0b6da8d/PySMT-0.9.7.dev105.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev105
2025-06-07T09:47:24,323   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/50/4e/c1e124e9088be5dfd9f1d5bcd41a7f1b4a1d4d318840dad86a158fd318fb/PySMT-0.9.7.dev108-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,324   Found link https://files.pythonhosted.org/packages/ed/3a/5a2410e38d3460ad761488ba1e0828d0e8ea16b84d0b0df5a17c5aebe432/PySMT-0.9.7.dev108.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev108
2025-06-07T09:47:24,324   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/70/6e/06c61678264996ea2f3679aea18c7c672ace696dcc749160b423dfc3f4fe/PySMT-0.9.7.dev112-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,325   Found link https://files.pythonhosted.org/packages/59/f8/29acc73a85a4bc4c4867c27f108de0a364994760e05ee471bb5517efcdf5/PySMT-0.9.7.dev112.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev112
2025-06-07T09:47:24,326   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/93/f9/6bbd6b00b47313788fe86c9a2750818ff312215d8f85420a7a03c3069bf5/PySMT-0.9.7.dev120-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,326   Found link https://files.pythonhosted.org/packages/4b/4d/05993110a986359e597397de2744edaf0aa03e312107770d9e3f72b72400/PySMT-0.9.7.dev120.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev120
2025-06-07T09:47:24,327   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/ba/1a/317ab1d7ff73e5397a929654a8d0d137454d6dc38ef3de2e72db8af34088/PySMT-0.9.7.dev129-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,328   Found link https://files.pythonhosted.org/packages/05/c3/90c9bba316f0c0bd6f1e92fcc7a7d8a2b7aa579df12e9df37d427d955a9a/PySMT-0.9.7.dev129.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev129
2025-06-07T09:47:24,329   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/a9/ea/242596150f58779a88166ad6058577a2e69c41077bf6de9703e93e45eaf8/PySMT-0.9.7.dev132-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,329   Found link https://files.pythonhosted.org/packages/2b/0c/3486bde66d8edbef3f029adf602cf661eb2aa3320f73d0958706596f383e/PySMT-0.9.7.dev132.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev132
2025-06-07T09:47:24,330   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/d9/59/60a721c3eb3d89dbed1a7cccebbcce0d5ae50e436dbce2730e9605c6af93/PySMT-0.9.7.dev135-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,330   Found link https://files.pythonhosted.org/packages/b5/b5/b50fcf6540506df96c1f611fa311b90ca3a7accd66910e5926a77503a185/PySMT-0.9.7.dev135.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev135
2025-06-07T09:47:24,330   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/7d/85/895bc46d963adc95c31d9e9d9a58069c1a4535f447998fe7fc566f4278c9/PySMT-0.9.7.dev139-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,331   Found link https://files.pythonhosted.org/packages/9d/0d/c44ef02a22843ee37ac0399aa1f7a134e186f85be33d7aa2e06d0be75227/PySMT-0.9.7.dev139.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev139
2025-06-07T09:47:24,332   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/22/9e/4c1f92cfb50868dff684fa9f3974a328422a392f35fede008ab101b69f7f/PySMT-0.9.7.dev333-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/)
2025-06-07T09:47:24,332   Found link https://files.pythonhosted.org/packages/3d/47/6a08fbe6956c87b6482a59a2fa1660dacbfe26ad1cb4a893bd9854123440/PySMT-0.9.7.dev333.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev333
2025-06-07T09:47:24,333 Fetching project page and analyzing links: https://www.piwheels.org/simple/pysmt/
2025-06-07T09:47:24,334 Getting page https://www.piwheels.org/simple/pysmt/
2025-06-07T09:47:24,335 Found index url https://www.piwheels.org/simple/
2025-06-07T09:47:24,489 WARNING: Retrying (Retry(total=4, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/pysmt/
2025-06-07T09:47:25,147 WARNING: Retrying (Retry(total=3, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/pysmt/
2025-06-07T09:47:26,345 WARNING: Retrying (Retry(total=2, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/pysmt/
2025-06-07T09:47:28,547 WARNING: Retrying (Retry(total=1, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/pysmt/
2025-06-07T09:47:32,763 WARNING: Retrying (Retry(total=0, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/pysmt/
2025-06-07T09:47:32,982 Could not fetch URL https://www.piwheels.org/simple/pysmt/: There was a problem confirming the ssl certificate: HTTPSConnectionPool(host='www.piwheels.org', port=443): Max retries exceeded with url: /simple/pysmt/ (Caused by SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))) - skipping
2025-06-07T09:47:32,983 Skipping link: not a file: https://www.piwheels.org/simple/pysmt/
2025-06-07T09:47:32,984 Skipping link: not a file: https://pypi.org/simple/pysmt/
2025-06-07T09:47:33,008 Given no hashes to check 1 links for project 'pysmt': discarding no candidates
2025-06-07T09:47:33,010 Collecting pysmt==0.9.7.dev129
2025-06-07T09:47:33,012   Created temporary directory: /tmp/pip-unpack-_8h41eo_
2025-06-07T09:47:33,232   Downloading PySMT-0.9.7.dev129.tar.gz (264 kB)
2025-06-07T09:47:33,635   Added pysmt==0.9.7.dev129 from https://files.pythonhosted.org/packages/05/c3/90c9bba316f0c0bd6f1e92fcc7a7d8a2b7aa579df12e9df37d427d955a9a/PySMT-0.9.7.dev129.tar.gz to build tracker '/tmp/pip-build-tracker-8b3kakzx'
2025-06-07T09:47:33,638   Running setup.py (path:/tmp/pip-wheel-2prln9zk/pysmt_e860cb7e80b24ef1a852c811356e66e2/setup.py) egg_info for package pysmt
2025-06-07T09:47:33,639   Created temporary directory: /tmp/pip-pip-egg-info-cd7wx6ux
2025-06-07T09:47:33,639   Preparing metadata (setup.py): started
2025-06-07T09:47:33,640   Running command python setup.py egg_info
2025-06-07T09:47:34,537   running egg_info
2025-06-07T09:47:34,567   creating /tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info
2025-06-07T09:47:34,568   writing /tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info/PKG-INFO
2025-06-07T09:47:34,571   writing dependency_links to /tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info/dependency_links.txt
2025-06-07T09:47:34,573   writing entry points to /tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info/entry_points.txt
2025-06-07T09:47:34,574   writing top-level names to /tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info/top_level.txt
2025-06-07T09:47:34,576   writing manifest file '/tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info/SOURCES.txt'
2025-06-07T09:47:34,675   reading manifest file '/tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info/SOURCES.txt'
2025-06-07T09:47:34,677   reading manifest template 'MANIFEST.in'
2025-06-07T09:47:34,682   adding license file 'LICENSE'
2025-06-07T09:47:34,683   adding license file 'NOTICE'
2025-06-07T09:47:34,689   writing manifest file '/tmp/pip-pip-egg-info-cd7wx6ux/PySMT.egg-info/SOURCES.txt'
2025-06-07T09:47:34,793   Preparing metadata (setup.py): finished with status 'done'
2025-06-07T09:47:34,797   Source in /tmp/pip-wheel-2prln9zk/pysmt_e860cb7e80b24ef1a852c811356e66e2 has version 0.9.7.dev129, which satisfies requirement pysmt==0.9.7.dev129 from https://files.pythonhosted.org/packages/05/c3/90c9bba316f0c0bd6f1e92fcc7a7d8a2b7aa579df12e9df37d427d955a9a/PySMT-0.9.7.dev129.tar.gz
2025-06-07T09:47:34,798   Removed pysmt==0.9.7.dev129 from https://files.pythonhosted.org/packages/05/c3/90c9bba316f0c0bd6f1e92fcc7a7d8a2b7aa579df12e9df37d427d955a9a/PySMT-0.9.7.dev129.tar.gz from build tracker '/tmp/pip-build-tracker-8b3kakzx'
2025-06-07T09:47:34,802 Created temporary directory: /tmp/pip-unpack-w8i_d1pg
2025-06-07T09:47:34,803 Created temporary directory: /tmp/pip-unpack-k9wbo3z3
2025-06-07T09:47:34,803 Building wheels for collected packages: pysmt
2025-06-07T09:47:34,807   Created temporary directory: /tmp/pip-wheel-7te8yi9d
2025-06-07T09:47:34,808   DEPRECATION: Building 'pysmt' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'pysmt'. Discussion can be found at https://github.com/pypa/pip/issues/6334
2025-06-07T09:47:34,809   Building wheel for pysmt (setup.py): started
2025-06-07T09:47:34,810   Destination directory: /tmp/pip-wheel-7te8yi9d
2025-06-07T09:47:34,811   Running command python setup.py bdist_wheel
2025-06-07T09:47:35,637   running bdist_wheel
2025-06-07T09:47:35,771   running build
2025-06-07T09:47:35,772   running build_py
2025-06-07T09:47:35,803   creating build/lib/pysmt
2025-06-07T09:47:35,806   copying pysmt/exceptions.py -> build/lib/pysmt
2025-06-07T09:47:35,808   copying pysmt/configuration.py -> build/lib/pysmt
2025-06-07T09:47:35,810   copying pysmt/factory.py -> build/lib/pysmt
2025-06-07T09:47:35,813   copying pysmt/__init__.py -> build/lib/pysmt
2025-06-07T09:47:35,814   copying pysmt/environment.py -> build/lib/pysmt
2025-06-07T09:47:35,817   copying pysmt/printers.py -> build/lib/pysmt
2025-06-07T09:47:35,819   copying pysmt/shortcuts.py -> build/lib/pysmt
2025-06-07T09:47:35,822   copying pysmt/substituter.py -> build/lib/pysmt
2025-06-07T09:47:35,825   copying pysmt/parsing.py -> build/lib/pysmt
2025-06-07T09:47:35,827   copying pysmt/rewritings.py -> build/lib/pysmt
2025-06-07T09:47:35,830   copying pysmt/typing.py -> build/lib/pysmt
2025-06-07T09:47:35,832   copying pysmt/simplifier.py -> build/lib/pysmt
2025-06-07T09:47:35,835   copying pysmt/decorators.py -> build/lib/pysmt
2025-06-07T09:47:35,837   copying pysmt/oracles.py -> build/lib/pysmt
2025-06-07T09:47:35,839   copying pysmt/operators.py -> build/lib/pysmt
2025-06-07T09:47:35,842   copying pysmt/logics.py -> build/lib/pysmt
2025-06-07T09:47:35,844   copying pysmt/__main__.py -> build/lib/pysmt
2025-06-07T09:47:35,847   copying pysmt/constants.py -> build/lib/pysmt
2025-06-07T09:47:35,849   copying pysmt/formula.py -> build/lib/pysmt
2025-06-07T09:47:35,853   copying pysmt/utils.py -> build/lib/pysmt
2025-06-07T09:47:35,855   copying pysmt/fnode.py -> build/lib/pysmt
2025-06-07T09:47:35,858   copying pysmt/type_checker.py -> build/lib/pysmt
2025-06-07T09:47:35,861   creating build/lib/pysmt/walkers
2025-06-07T09:47:35,863   copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers
2025-06-07T09:47:35,865   copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers
2025-06-07T09:47:35,867   copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers
2025-06-07T09:47:35,870   copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers
2025-06-07T09:47:35,872   copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers
2025-06-07T09:47:35,875   creating build/lib/pysmt/smtlib
2025-06-07T09:47:35,876   copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib
2025-06-07T09:47:35,879   copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib
2025-06-07T09:47:35,881   copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib
2025-06-07T09:47:35,884   copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib
2025-06-07T09:47:35,886   copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib
2025-06-07T09:47:35,889   copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib
2025-06-07T09:47:35,891   copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib
2025-06-07T09:47:35,895   creating build/lib/pysmt/test
2025-06-07T09:47:35,896   copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
2025-06-07T09:47:35,900   copying pysmt/test/test_size.py -> build/lib/pysmt/test
2025-06-07T09:47:35,902   copying pysmt/test/test_imports.py -> build/lib/pysmt/test
2025-06-07T09:47:35,904   copying pysmt/test/test_cnf.py -> build/lib/pysmt/test
2025-06-07T09:47:35,906   copying pysmt/test/test_simplify.py -> build/lib/pysmt/test
2025-06-07T09:47:35,909   copying pysmt/test/__init__.py -> build/lib/pysmt/test
2025-06-07T09:47:35,911   copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
2025-06-07T09:47:35,914   copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
2025-06-07T09:47:35,916   copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
2025-06-07T09:47:35,918   copying pysmt/test/test_euf.py -> build/lib/pysmt/test
2025-06-07T09:47:35,920   copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
2025-06-07T09:47:35,923   copying pysmt/test/test_configuration.py -> build/lib/pysmt/test
2025-06-07T09:47:35,925   copying pysmt/test/examples.py -> build/lib/pysmt/test
2025-06-07T09:47:35,929   copying pysmt/test/test_int.py -> build/lib/pysmt/test
2025-06-07T09:47:35,931   copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
2025-06-07T09:47:35,934   copying pysmt/test/test_string.py -> build/lib/pysmt/test
2025-06-07T09:47:35,936   copying pysmt/test/test_constants.py -> build/lib/pysmt/test
2025-06-07T09:47:35,939   copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
2025-06-07T09:47:35,942   copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
2025-06-07T09:47:35,944   copying pysmt/test/test_bv.py -> build/lib/pysmt/test
2025-06-07T09:47:35,947   copying pysmt/test/test_array.py -> build/lib/pysmt/test
2025-06-07T09:47:35,949   copying pysmt/test/test_models.py -> build/lib/pysmt/test
2025-06-07T09:47:35,951   copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
2025-06-07T09:47:35,954   copying pysmt/test/test_solving.py -> build/lib/pysmt/test
2025-06-07T09:47:35,957   copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test
2025-06-07T09:47:35,959   copying pysmt/test/test_qe.py -> build/lib/pysmt/test
2025-06-07T09:47:35,962   copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test
2025-06-07T09:47:35,964   copying pysmt/test/test_cvc_quantifiers.py -> build/lib/pysmt/test
2025-06-07T09:47:35,966   copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
2025-06-07T09:47:35,969   copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
2025-06-07T09:47:35,971   copying pysmt/test/test_printing.py -> build/lib/pysmt/test
2025-06-07T09:47:35,974   copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
2025-06-07T09:47:35,976   copying pysmt/test/test_formula.py -> build/lib/pysmt/test
2025-06-07T09:47:35,980   copying pysmt/test/test_sorts.py -> build/lib/pysmt/test
2025-06-07T09:47:35,982   copying pysmt/test/test_lira.py -> build/lib/pysmt/test
2025-06-07T09:47:35,984   copying pysmt/test/test_nia.py -> build/lib/pysmt/test
2025-06-07T09:47:35,987   copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
2025-06-07T09:47:35,990   copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
2025-06-07T09:47:35,993   copying pysmt/test/test_back.py -> build/lib/pysmt/test
2025-06-07T09:47:35,995   copying pysmt/test/test_env.py -> build/lib/pysmt/test
2025-06-07T09:47:35,997   copying pysmt/test/test_bdd.py -> build/lib/pysmt/test
2025-06-07T09:47:36,000   copying pysmt/test/test_logics.py -> build/lib/pysmt/test
2025-06-07T09:47:36,003   creating build/lib/pysmt/solvers
2025-06-07T09:47:36,005   copying pysmt/solvers/cvcfive.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,008   copying pysmt/solvers/cvcfour.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,011   copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,013   copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,016   copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,018   copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,021   copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,024   copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,027   copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,030   copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,032   copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,035   copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,038   copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,040   copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,044   copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,046   copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
2025-06-07T09:47:36,050   creating build/lib/pysmt/cmd
2025-06-07T09:47:36,051   copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd
2025-06-07T09:47:36,053   copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd
2025-06-07T09:47:36,055   copying pysmt/cmd/install.py -> build/lib/pysmt/cmd
2025-06-07T09:47:36,058   copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd
2025-06-07T09:47:36,061   creating build/lib/pysmt/smtlib/parser
2025-06-07T09:47:36,062   copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser
2025-06-07T09:47:36,065   copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser
2025-06-07T09:47:36,070   creating build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,071   copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,074   copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,076   copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,078   copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,081   copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,083   copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,085   copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,087   copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,089   copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,091   copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,094   copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,096   copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,098   copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,100   copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,102   copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,104   copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,107   copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,109   copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,112   copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,114   copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib
2025-06-07T09:47:36,117   creating build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,118   copying pysmt/cmd/installers/cvcfive.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,120   copying pysmt/cmd/installers/cvcfour.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,122   copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,125   copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,127   copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,129   copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,132   copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,134   copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,137   copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,141   copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers
2025-06-07T09:47:36,144   running egg_info
2025-06-07T09:47:36,173   writing PySMT.egg-info/PKG-INFO
2025-06-07T09:47:36,177   writing dependency_links to PySMT.egg-info/dependency_links.txt
2025-06-07T09:47:36,180   writing entry points to PySMT.egg-info/entry_points.txt
2025-06-07T09:47:36,183   writing top-level names to PySMT.egg-info/top_level.txt
2025-06-07T09:47:36,223   reading manifest file 'PySMT.egg-info/SOURCES.txt'
2025-06-07T09:47:36,232   reading manifest template 'MANIFEST.in'
2025-06-07T09:47:36,237   adding license file 'LICENSE'
2025-06-07T09:47:36,238   adding license file 'NOTICE'
2025-06-07T09:47:36,246   writing manifest file 'PySMT.egg-info/SOURCES.txt'
2025-06-07T09:47:36,250   /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'pysmt.test.configs' is absent from the `packages` configuration.
2025-06-07T09:47:36,250   !!

2025-06-07T09:47:36,251           ********************************************************************************
2025-06-07T09:47:36,251           ############################
2025-06-07T09:47:36,252           # Package would be ignored #
2025-06-07T09:47:36,252           ############################
2025-06-07T09:47:36,252           Python recognizes 'pysmt.test.configs' as an importable package[^1],
2025-06-07T09:47:36,253           but it is absent from setuptools' `packages` configuration.

2025-06-07T09:47:36,254           This leads to an ambiguous overall configuration. If you want to distribute this
2025-06-07T09:47:36,254           package, please make sure that 'pysmt.test.configs' is explicitly added
2025-06-07T09:47:36,255           to the `packages` configuration field.

2025-06-07T09:47:36,255           Alternatively, you can also rely on setuptools' discovery methods
2025-06-07T09:47:36,256           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2025-06-07T09:47:36,256           instead of `find_packages(...)`/`find:`).

2025-06-07T09:47:36,257           You can read more about "package discovery" on setuptools documentation page:

2025-06-07T09:47:36,258           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2025-06-07T09:47:36,259           If you don't want 'pysmt.test.configs' to be distributed and are
2025-06-07T09:47:36,259           already explicitly excluding 'pysmt.test.configs' via
2025-06-07T09:47:36,260           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2025-06-07T09:47:36,261           you can try to use `exclude_package_data`, or `include-package-data=False` in
2025-06-07T09:47:36,261           combination with a more fine grained `package-data` configuration.

2025-06-07T09:47:36,262           You can read more about "package data files" on setuptools documentation page:

2025-06-07T09:47:36,263           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2025-06-07T09:47:36,265           [^1]: For Python, any directory (with suitable naming) can be imported,
2025-06-07T09:47:36,266                 even if it does not contain any `.py` files.
2025-06-07T09:47:36,266                 On the other hand, currently there is no concept of package data
2025-06-07T09:47:36,267                 directory, all directories are treated like packages.
2025-06-07T09:47:36,267           ********************************************************************************

2025-06-07T09:47:36,268   !!
2025-06-07T09:47:36,269     check.warn(importable)
2025-06-07T09:47:36,270   creating build/lib/pysmt/test/configs
2025-06-07T09:47:36,270   copying pysmt/test/configs/config1.ini -> build/lib/pysmt/test/configs
2025-06-07T09:47:36,273   copying pysmt/test/configs/config_bad.ini -> build/lib/pysmt/test/configs
2025-06-07T09:47:36,307   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-06-07T09:47:36,308   !!

2025-06-07T09:47:36,309           ********************************************************************************
2025-06-07T09:47:36,310           Please avoid running ``setup.py`` directly.
2025-06-07T09:47:36,310           Instead, use pypa/build, pypa/installer or other
2025-06-07T09:47:36,311           standards-based tools.

2025-06-07T09:47:36,312           By 2025-Oct-31, you need to update your project and remove deprecated calls
2025-06-07T09:47:36,313           or your builds will no longer be supported.

2025-06-07T09:47:36,314           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-06-07T09:47:36,315           ********************************************************************************

2025-06-07T09:47:36,316   !!
2025-06-07T09:47:36,317     self.initialize_options()
2025-06-07T09:47:36,341   installing to build/bdist.linux-armv7l/wheel
2025-06-07T09:47:36,341   running install
2025-06-07T09:47:36,366   running install_lib
2025-06-07T09:47:36,393   creating build/bdist.linux-armv7l/wheel
2025-06-07T09:47:36,396   creating build/bdist.linux-armv7l/wheel/pysmt
2025-06-07T09:47:36,397   copying build/lib/pysmt/exceptions.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,400   creating build/bdist.linux-armv7l/wheel/pysmt/walkers
2025-06-07T09:47:36,402   copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
2025-06-07T09:47:36,404   copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
2025-06-07T09:47:36,406   copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
2025-06-07T09:47:36,409   copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
2025-06-07T09:47:36,411   copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
2025-06-07T09:47:36,414   creating build/bdist.linux-armv7l/wheel/pysmt/smtlib
2025-06-07T09:47:36,415   copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
2025-06-07T09:47:36,417   copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
2025-06-07T09:47:36,419   copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
2025-06-07T09:47:36,422   copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
2025-06-07T09:47:36,425   copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
2025-06-07T09:47:36,427   creating build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
2025-06-07T09:47:36,429   copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib/parser
2025-06-07T09:47:36,431   copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib/parser
2025-06-07T09:47:36,435   copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
2025-06-07T09:47:36,437   copying build/lib/pysmt/smtlib/utils.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
2025-06-07T09:47:36,440   copying build/lib/pysmt/configuration.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,442   copying build/lib/pysmt/factory.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,445   copying build/lib/pysmt/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,447   copying build/lib/pysmt/environment.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,449   copying build/lib/pysmt/printers.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,452   copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,454   copying build/lib/pysmt/substituter.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,457   copying build/lib/pysmt/parsing.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,459   copying build/lib/pysmt/rewritings.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,462   copying build/lib/pysmt/typing.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,465   copying build/lib/pysmt/simplifier.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,468   copying build/lib/pysmt/decorators.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,470   copying build/lib/pysmt/oracles.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,474   creating build/bdist.linux-armv7l/wheel/pysmt/test
2025-06-07T09:47:36,475   copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,478   creating build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2025-06-07T09:47:36,479   copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,482   copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,484   copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,486   copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,487   copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,489   copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,491   copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,493   copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,495   copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,497   copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,498   copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,500   copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,502   copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,504   copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,505   copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,507   copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,509   copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,512   copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,514   copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,516   copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
2025-06-07T09:47:36,517   copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,519   copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,521   copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,523   copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,525   copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,527   copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,529   copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,531   copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,533   copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,535   copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,538   copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,540   copying build/lib/pysmt/test/examples.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,542   copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,544   copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,546   copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,549   copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,551   copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,553   copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,554   copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,557   copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,559   copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,561   copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,563   copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,565   copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,567   copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,569   copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,571   copying build/lib/pysmt/test/test_cvc_quantifiers.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,573   copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,575   copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,577   copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,579   copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,581   copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,584   copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,586   creating build/bdist.linux-armv7l/wheel/pysmt/test/configs
2025-06-07T09:47:36,587   copying build/lib/pysmt/test/configs/config1.ini -> build/bdist.linux-armv7l/wheel/./pysmt/test/configs
2025-06-07T09:47:36,589   copying build/lib/pysmt/test/configs/config_bad.ini -> build/bdist.linux-armv7l/wheel/./pysmt/test/configs
2025-06-07T09:47:36,591   copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,593   copying build/lib/pysmt/test/test_nia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,595   copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,598   copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,600   copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,602   copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,604   copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,606   copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
2025-06-07T09:47:36,608   copying build/lib/pysmt/operators.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,611   copying build/lib/pysmt/logics.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,614   creating build/bdist.linux-armv7l/wheel/pysmt/solvers
2025-06-07T09:47:36,615   copying build/lib/pysmt/solvers/cvcfive.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,618   copying build/lib/pysmt/solvers/cvcfour.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,621   copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,622   copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,625   copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,626   copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,629   copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,632   copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,634   copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,637   copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,639   copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,641   copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,643   copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,645   copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,648   copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,651   copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
2025-06-07T09:47:36,653   copying build/lib/pysmt/__main__.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,655   copying build/lib/pysmt/constants.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,657   copying build/lib/pysmt/formula.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,660   copying build/lib/pysmt/utils.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,662   copying build/lib/pysmt/fnode.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,665   creating build/bdist.linux-armv7l/wheel/pysmt/cmd
2025-06-07T09:47:36,666   copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
2025-06-07T09:47:36,669   creating build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2025-06-07T09:47:36,670   copying build/lib/pysmt/cmd/installers/cvcfive.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,672   copying build/lib/pysmt/cmd/installers/cvcfour.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,673   copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,675   copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,678   copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,679   copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,681   copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,683   copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,685   copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,688   copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
2025-06-07T09:47:36,690   copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
2025-06-07T09:47:36,692   copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
2025-06-07T09:47:36,694   copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
2025-06-07T09:47:36,696   copying build/lib/pysmt/type_checker.py -> build/bdist.linux-armv7l/wheel/./pysmt
2025-06-07T09:47:36,698   running install_egg_info
2025-06-07T09:47:36,732   Copying PySMT.egg-info to build/bdist.linux-armv7l/wheel/./PySMT-0.9.7.dev129-py3.11.egg-info
2025-06-07T09:47:36,741   running install_scripts
2025-06-07T09:47:36,755   creating build/bdist.linux-armv7l/wheel/pysmt-0.9.7.dev129.dist-info/WHEEL
2025-06-07T09:47:36,757   creating '/tmp/pip-wheel-7te8yi9d/pysmt-0.9.7.dev129-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-06-07T09:47:36,760   adding 'pysmt/__init__.py'
2025-06-07T09:47:36,761   adding 'pysmt/__main__.py'
2025-06-07T09:47:36,763   adding 'pysmt/configuration.py'
2025-06-07T09:47:36,764   adding 'pysmt/constants.py'
2025-06-07T09:47:36,766   adding 'pysmt/decorators.py'
2025-06-07T09:47:36,767   adding 'pysmt/environment.py'
2025-06-07T09:47:36,769   adding 'pysmt/exceptions.py'
2025-06-07T09:47:36,772   adding 'pysmt/factory.py'
2025-06-07T09:47:36,775   adding 'pysmt/fnode.py'
2025-06-07T09:47:36,780   adding 'pysmt/formula.py'
2025-06-07T09:47:36,783   adding 'pysmt/logics.py'
2025-06-07T09:47:36,785   adding 'pysmt/operators.py'
2025-06-07T09:47:36,787   adding 'pysmt/oracles.py'
2025-06-07T09:47:36,790   adding 'pysmt/parsing.py'
2025-06-07T09:47:36,792   adding 'pysmt/printers.py'
2025-06-07T09:47:36,795   adding 'pysmt/rewritings.py'
2025-06-07T09:47:36,800   adding 'pysmt/shortcuts.py'
2025-06-07T09:47:36,804   adding 'pysmt/simplifier.py'
2025-06-07T09:47:36,806   adding 'pysmt/substituter.py'
2025-06-07T09:47:36,808   adding 'pysmt/type_checker.py'
2025-06-07T09:47:36,810   adding 'pysmt/typing.py'
2025-06-07T09:47:36,812   adding 'pysmt/utils.py'
2025-06-07T09:47:36,813   adding 'pysmt/cmd/__init__.py'
2025-06-07T09:47:36,815   adding 'pysmt/cmd/check_version.py'
2025-06-07T09:47:36,816   adding 'pysmt/cmd/install.py'
2025-06-07T09:47:36,818   adding 'pysmt/cmd/shell.py'
2025-06-07T09:47:36,820   adding 'pysmt/cmd/installers/__init__.py'
2025-06-07T09:47:36,822   adding 'pysmt/cmd/installers/base.py'
2025-06-07T09:47:36,823   adding 'pysmt/cmd/installers/bdd.py'
2025-06-07T09:47:36,825   adding 'pysmt/cmd/installers/btor.py'
2025-06-07T09:47:36,826   adding 'pysmt/cmd/installers/cvcfive.py'
2025-06-07T09:47:36,828   adding 'pysmt/cmd/installers/cvcfour.py'
2025-06-07T09:47:36,829   adding 'pysmt/cmd/installers/msat.py'
2025-06-07T09:47:36,831   adding 'pysmt/cmd/installers/pico.py'
2025-06-07T09:47:36,832   adding 'pysmt/cmd/installers/yices.py'
2025-06-07T09:47:36,833   adding 'pysmt/cmd/installers/z3.py'
2025-06-07T09:47:36,835   adding 'pysmt/smtlib/__init__.py'
2025-06-07T09:47:36,836   adding 'pysmt/smtlib/annotations.py'
2025-06-07T09:47:36,838   adding 'pysmt/smtlib/commands.py'
2025-06-07T09:47:36,840   adding 'pysmt/smtlib/printers.py'
2025-06-07T09:47:36,842   adding 'pysmt/smtlib/script.py'
2025-06-07T09:47:36,844   adding 'pysmt/smtlib/solver.py'
2025-06-07T09:47:36,845   adding 'pysmt/smtlib/utils.py'
2025-06-07T09:47:36,847   adding 'pysmt/smtlib/parser/__init__.py'
2025-06-07T09:47:36,853   adding 'pysmt/smtlib/parser/parser.py'
2025-06-07T09:47:36,855   adding 'pysmt/solvers/__init__.py'
2025-06-07T09:47:36,857   adding 'pysmt/solvers/bdd.py'
2025-06-07T09:47:36,860   adding 'pysmt/solvers/btor.py'
2025-06-07T09:47:36,862   adding 'pysmt/solvers/cvcfive.py'
2025-06-07T09:47:36,865   adding 'pysmt/solvers/cvcfour.py'
2025-06-07T09:47:36,867   adding 'pysmt/solvers/eager.py'
2025-06-07T09:47:36,868   adding 'pysmt/solvers/interpolation.py'
2025-06-07T09:47:36,873   adding 'pysmt/solvers/msat.py'
2025-06-07T09:47:36,875   adding 'pysmt/solvers/options.py'
2025-06-07T09:47:36,877   adding 'pysmt/solvers/pico.py'
2025-06-07T09:47:36,879   adding 'pysmt/solvers/portfolio.py'
2025-06-07T09:47:36,880   adding 'pysmt/solvers/qelim.py'
2025-06-07T09:47:36,882   adding 'pysmt/solvers/smtlib.py'
2025-06-07T09:47:36,884   adding 'pysmt/solvers/solver.py'
2025-06-07T09:47:36,887   adding 'pysmt/solvers/yices.py'
2025-06-07T09:47:36,891   adding 'pysmt/solvers/z3.py'
2025-06-07T09:47:36,894   adding 'pysmt/test/__init__.py'
2025-06-07T09:47:36,897   adding 'pysmt/test/examples.py'
2025-06-07T09:47:36,898   adding 'pysmt/test/test_array.py'
2025-06-07T09:47:36,900   adding 'pysmt/test/test_back.py'
2025-06-07T09:47:36,901   adding 'pysmt/test/test_bdd.py'
2025-06-07T09:47:36,903   adding 'pysmt/test/test_bv.py'
2025-06-07T09:47:36,905   adding 'pysmt/test/test_bv_simplification.py'
2025-06-07T09:47:36,906   adding 'pysmt/test/test_cnf.py'
2025-06-07T09:47:36,907   adding 'pysmt/test/test_configuration.py'
2025-06-07T09:47:36,909   adding 'pysmt/test/test_constants.py'
2025-06-07T09:47:36,910   adding 'pysmt/test/test_cvc_quantifiers.py'
2025-06-07T09:47:36,911   adding 'pysmt/test/test_dwf.py'
2025-06-07T09:47:36,913   adding 'pysmt/test/test_eager_model.py'
2025-06-07T09:47:36,914   adding 'pysmt/test/test_env.py'
2025-06-07T09:47:36,915   adding 'pysmt/test/test_euf.py'
2025-06-07T09:47:36,919   adding 'pysmt/test/test_formula.py'
2025-06-07T09:47:36,921   adding 'pysmt/test/test_hr_parsing.py'
2025-06-07T09:47:36,922   adding 'pysmt/test/test_imports.py'
2025-06-07T09:47:36,923   adding 'pysmt/test/test_int.py'
2025-06-07T09:47:36,924   adding 'pysmt/test/test_interpolation.py'
2025-06-07T09:47:36,925   adding 'pysmt/test/test_lira.py'
2025-06-07T09:47:36,927   adding 'pysmt/test/test_logics.py'
2025-06-07T09:47:36,928   adding 'pysmt/test/test_models.py'
2025-06-07T09:47:36,929   adding 'pysmt/test/test_native_qe.py'
2025-06-07T09:47:36,931   adding 'pysmt/test/test_nia.py'
2025-06-07T09:47:36,932   adding 'pysmt/test/test_nlira.py'
2025-06-07T09:47:36,934   adding 'pysmt/test/test_oracles.py'
2025-06-07T09:47:36,935   adding 'pysmt/test/test_portfolio.py'
2025-06-07T09:47:36,937   adding 'pysmt/test/test_printing.py'
2025-06-07T09:47:36,938   adding 'pysmt/test/test_qe.py'
2025-06-07T09:47:36,941   adding 'pysmt/test/test_regressions.py'
2025-06-07T09:47:36,943   adding 'pysmt/test/test_rewritings.py'
2025-06-07T09:47:36,944   adding 'pysmt/test/test_shannon_expansion.py'
2025-06-07T09:47:36,946   adding 'pysmt/test/test_simplify.py'
2025-06-07T09:47:36,947   adding 'pysmt/test/test_size.py'
2025-06-07T09:47:36,950   adding 'pysmt/test/test_solving.py'
2025-06-07T09:47:36,952   adding 'pysmt/test/test_sorts.py'
2025-06-07T09:47:36,953   adding 'pysmt/test/test_string.py'
2025-06-07T09:47:36,955   adding 'pysmt/test/test_typechecker.py'
2025-06-07T09:47:36,956   adding 'pysmt/test/test_unsat_cores.py'
2025-06-07T09:47:36,958   adding 'pysmt/test/test_walker_ext.py'
2025-06-07T09:47:36,959   adding 'pysmt/test/test_walkers.py'
2025-06-07T09:47:36,961   adding 'pysmt/test/configs/config1.ini'
2025-06-07T09:47:36,962   adding 'pysmt/test/configs/config_bad.ini'
2025-06-07T09:47:36,964   adding 'pysmt/test/smtlib/__init__.py'
2025-06-07T09:47:36,966   adding 'pysmt/test/smtlib/parser_utils.py'
2025-06-07T09:47:36,967   adding 'pysmt/test/smtlib/test_annotations.py'
2025-06-07T09:47:36,969   adding 'pysmt/test/smtlib/test_fuzzed.py'
2025-06-07T09:47:36,970   adding 'pysmt/test/smtlib/test_generic_wrapper.py'
2025-06-07T09:47:36,971   adding 'pysmt/test/smtlib/test_griggio.py'
2025-06-07T09:47:36,973   adding 'pysmt/test/smtlib/test_model_validation.py'
2025-06-07T09:47:36,974   adding 'pysmt/test/smtlib/test_parser_examples.py'
2025-06-07T09:47:36,976   adding 'pysmt/test/smtlib/test_parser_extensibility.py'
2025-06-07T09:47:36,977   adding 'pysmt/test/smtlib/test_parser_lra.py'
2025-06-07T09:47:36,978   adding 'pysmt/test/smtlib/test_parser_qf_arrays.py'
2025-06-07T09:47:36,980   adding 'pysmt/test/smtlib/test_parser_qf_lia.py'
2025-06-07T09:47:36,981   adding 'pysmt/test/smtlib/test_parser_qf_lira.py'
2025-06-07T09:47:36,982   adding 'pysmt/test/smtlib/test_parser_qf_lra.py'
2025-06-07T09:47:36,983   adding 'pysmt/test/smtlib/test_parser_qf_nia.py'
2025-06-07T09:47:36,985   adding 'pysmt/test/smtlib/test_parser_qf_nra.py'
2025-06-07T09:47:36,986   adding 'pysmt/test/smtlib/test_parser_qf_uf.py'
2025-06-07T09:47:36,987   adding 'pysmt/test/smtlib/test_parser_qf_ufbv.py'
2025-06-07T09:47:36,988   adding 'pysmt/test/smtlib/test_parser_type_error.py'
2025-06-07T09:47:36,990   adding 'pysmt/test/smtlib/test_smtlibscript.py'
2025-06-07T09:47:36,992   adding 'pysmt/walkers/__init__.py'
2025-06-07T09:47:36,993   adding 'pysmt/walkers/dag.py'
2025-06-07T09:47:36,995   adding 'pysmt/walkers/generic.py'
2025-06-07T09:47:36,996   adding 'pysmt/walkers/identitydag.py'
2025-06-07T09:47:36,998   adding 'pysmt/walkers/tree.py'
2025-06-07T09:47:37,001   adding 'pysmt-0.9.7.dev129.dist-info/licenses/LICENSE'
2025-06-07T09:47:37,002   adding 'pysmt-0.9.7.dev129.dist-info/licenses/NOTICE'
2025-06-07T09:47:37,004   adding 'pysmt-0.9.7.dev129.dist-info/METADATA'
2025-06-07T09:47:37,005   adding 'pysmt-0.9.7.dev129.dist-info/WHEEL'
2025-06-07T09:47:37,006   adding 'pysmt-0.9.7.dev129.dist-info/entry_points.txt'
2025-06-07T09:47:37,006   adding 'pysmt-0.9.7.dev129.dist-info/top_level.txt'
2025-06-07T09:47:37,009   adding 'pysmt-0.9.7.dev129.dist-info/RECORD'
2025-06-07T09:47:37,014   removing build/bdist.linux-armv7l/wheel
2025-06-07T09:47:37,152   Building wheel for pysmt (setup.py): finished with status 'done'
2025-06-07T09:47:37,157   Created wheel for pysmt: filename=pysmt-0.9.7.dev129-py3-none-any.whl size=327997 sha256=42060336be9d70d2d7c3c40f157f26f0b4b155f152e889864260ab0f9cd0f358
2025-06-07T09:47:37,159   Stored in directory: /tmp/pip-ephem-wheel-cache-s1iv_p3p/wheels/77/fd/d8/5064d666d13496f5fc6c2e4eb1302bef075e8709044764e5d1
2025-06-07T09:47:37,173 Successfully built pysmt
2025-06-07T09:47:37,183 Removed build tracker: '/tmp/pip-build-tracker-8b3kakzx'