2026-09-08T16:20:35,825 Created temporary directory: /tmp/pip-ephem-wheel-cache-3e15m_9w 2026-09-08T16:20:35,827 Created temporary directory: /tmp/pip-build-tracker-wh6rno2f 2026-09-08T16:20:35,827 Initialized build tracking at /tmp/pip-build-tracker-wh6rno2f 2026-09-08T16:20:35,828 Created build tracker: /tmp/pip-build-tracker-wh6rno2f 2026-09-08T16:20:35,828 Entered build tracker: /tmp/pip-build-tracker-wh6rno2f 2026-09-08T16:20:35,829 Created temporary directory: /tmp/pip-wheel-w5hx_mj9 2026-09-08T16:20:35,832 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-09-08T16:20:35,835 Created temporary directory: /tmp/pip-ephem-wheel-cache-oegrw4cc 2026-09-08T16:20:35,859 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-09-08T16:20:35,862 2 location(s) to search for versions of pysmt: 2026-09-08T16:20:35,862 * https://pypi.org/simple/pysmt/ 2026-09-08T16:20:35,862 * https://www.piwheels.org/simple/pysmt/ 2026-09-08T16:20:35,863 Fetching project page and analyzing links: https://pypi.org/simple/pysmt/ 2026-09-08T16:20:35,864 Getting page https://pypi.org/simple/pysmt/ 2026-09-08T16:20:35,865 Found index url https://pypi.org/simple 2026-09-08T16:20:36,114 Fetched page https://pypi.org/simple/pysmt/ as application/vnd.pypi.simple.v1+json 2026-09-08T16:20:36,143 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 2026-09-08T16:20:36,144 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 2026-09-08T16:20:36,145 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 2026-09-08T16:20:36,145 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 2026-09-08T16:20:36,146 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 2026-09-08T16:20:36,147 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 2026-09-08T16:20:36,148 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 2026-09-08T16:20:36,149 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 2026-09-08T16:20:36,149 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 2026-09-08T16:20:36,150 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 2026-09-08T16:20:36,151 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 2026-09-08T16:20:36,151 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 2026-09-08T16:20:36,152 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 2026-09-08T16:20:36,153 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 2026-09-08T16:20:36,154 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 2026-09-08T16:20:36,154 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 2026-09-08T16:20:36,155 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 2026-09-08T16:20:36,155 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 2026-09-08T16:20:36,156 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 2026-09-08T16:20:36,157 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 2026-09-08T16:20:36,157 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/) 2026-09-08T16:20:36,158 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/) 2026-09-08T16:20:36,159 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/) 2026-09-08T16:20:36,159 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/) 2026-09-08T16:20:36,160 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/) 2026-09-08T16:20:36,161 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/) 2026-09-08T16:20:36,161 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/) 2026-09-08T16:20:36,162 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/) 2026-09-08T16:20:36,162 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/) 2026-09-08T16:20:36,163 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/) 2026-09-08T16:20:36,164 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/) 2026-09-08T16:20:36,164 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/) 2026-09-08T16:20:36,165 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/) 2026-09-08T16:20:36,165 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/) 2026-09-08T16:20:36,166 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/) 2026-09-08T16:20:36,166 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/) 2026-09-08T16:20:36,167 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/) 2026-09-08T16:20:36,167 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/) 2026-09-08T16:20:36,168 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/) 2026-09-08T16:20:36,169 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/) 2026-09-08T16:20:36,169 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/) 2026-09-08T16:20:36,170 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/) 2026-09-08T16:20:36,171 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/) 2026-09-08T16:20:36,171 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/) 2026-09-08T16:20:36,172 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/) 2026-09-08T16:20:36,172 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/) 2026-09-08T16:20:36,173 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/) 2026-09-08T16:20:36,174 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/) 2026-09-08T16:20:36,174 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/) 2026-09-08T16:20:36,175 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/) 2026-09-08T16:20:36,175 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/) 2026-09-08T16:20:36,176 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/) 2026-09-08T16:20:36,176 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/) 2026-09-08T16:20:36,177 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/) 2026-09-08T16:20:36,177 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/) 2026-09-08T16:20:36,178 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/) 2026-09-08T16:20:36,179 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/) 2026-09-08T16:20:36,179 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/) 2026-09-08T16:20:36,180 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/) 2026-09-08T16:20:36,181 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 2026-09-08T16:20:36,181 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/) 2026-09-08T16:20:36,182 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 2026-09-08T16:20:36,183 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/) 2026-09-08T16:20:36,183 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 2026-09-08T16:20:36,184 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/) 2026-09-08T16:20:36,185 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 2026-09-08T16:20:36,185 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/) 2026-09-08T16:20:36,186 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 2026-09-08T16:20:36,186 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/) 2026-09-08T16:20:36,187 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 2026-09-08T16:20:36,188 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/) 2026-09-08T16:20:36,188 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 2026-09-08T16:20:36,189 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/) 2026-09-08T16:20:36,190 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 2026-09-08T16:20:36,190 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/) 2026-09-08T16:20:36,191 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 2026-09-08T16:20:36,192 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/) 2026-09-08T16:20:36,193 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 2026-09-08T16:20:36,194 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/) 2026-09-08T16:20:36,194 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 2026-09-08T16:20:36,195 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/) 2026-09-08T16:20:36,195 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 2026-09-08T16:20:36,196 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/) 2026-09-08T16:20:36,196 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 2026-09-08T16:20:36,197 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/) 2026-09-08T16:20:36,198 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 2026-09-08T16:20:36,198 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/) 2026-09-08T16:20:36,199 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 2026-09-08T16:20:36,200 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/) 2026-09-08T16:20:36,200 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 2026-09-08T16:20:36,201 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/) 2026-09-08T16:20:36,202 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 2026-09-08T16:20:36,203 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/) 2026-09-08T16:20:36,203 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 2026-09-08T16:20:36,204 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/) 2026-09-08T16:20:36,205 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 2026-09-08T16:20:36,206 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/) 2026-09-08T16:20:36,206 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 2026-09-08T16:20:36,207 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/) 2026-09-08T16:20:36,207 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 2026-09-08T16:20:36,208 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/) 2026-09-08T16:20:36,209 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 2026-09-08T16:20:36,209 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/) 2026-09-08T16:20:36,210 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 2026-09-08T16:20:36,210 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/) 2026-09-08T16:20:36,211 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 2026-09-08T16:20:36,212 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/) 2026-09-08T16:20:36,212 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 2026-09-08T16:20:36,213 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/) 2026-09-08T16:20:36,214 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 2026-09-08T16:20:36,214 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/) 2026-09-08T16:20:36,215 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 2026-09-08T16:20:36,216 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/) 2026-09-08T16:20:36,217 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 2026-09-08T16:20:36,217 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/) 2026-09-08T16:20:36,218 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 2026-09-08T16:20:36,219 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/) 2026-09-08T16:20:36,219 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 2026-09-08T16:20:36,220 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/) 2026-09-08T16:20:36,220 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 2026-09-08T16:20:36,221 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/) 2026-09-08T16:20:36,222 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 2026-09-08T16:20:36,222 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/a8/7a/a5157bbfeb781745fac8984f80f5aedba743bd541380908c67f622694cec/PySMT-0.9.7.dev337-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,223 Found link https://files.pythonhosted.org/packages/25/3c/f8c05d3be04cea2f4d6a8d29cba6f5e22577eccf145074d4b8829002ebcf/PySMT-0.9.7.dev337.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev337 2026-09-08T16:20:36,224 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/52/52/c7d0efef136a01bf03a34c3bec10058149595377c50af0ecfcb42d8b27e8/pysmt-0.9.7.dev346-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,224 Found link https://files.pythonhosted.org/packages/7c/b3/e5bac89d189e57cbe5320451a845fd99710a7e9b2b7580e4d46fd6718b5c/pysmt-0.9.7.dev346.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev346 2026-09-08T16:20:36,225 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/a8/1a/6b48aae374172db4bb93c1e72c19d3bf903b619d04bba83265d494768aa0/pysmt-0.9.7.dev354-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,226 Found link https://files.pythonhosted.org/packages/64/56/3441a5517492fa4aa1b513c8f69660110926e9a499d512ba46ae60f50f3e/pysmt-0.9.7.dev354.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev354 2026-09-08T16:20:36,227 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/1a/a0/2c62a4ac2011f65696657a761f3ee23e64b7c8e98270b6ad0f9db81fbb1f/pysmt-0.9.7.dev356-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,228 Found link https://files.pythonhosted.org/packages/ac/25/1193ae760c76415adde72a260639bea7b431cc8c07569138b641f1718783/pysmt-0.9.7.dev356.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev356 2026-09-08T16:20:36,228 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/52/6b/cae505700a09e6f674aa36d15ff6df79d5599e0ca7ed9b2b02afd07e04ab/pysmt-0.9.7.dev390-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,229 Found link https://files.pythonhosted.org/packages/a5/23/26b918d307d1b3d402c61a84c0fda8536826b2201161db52ba2f36cad753/pysmt-0.9.7.dev390.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev390 2026-09-08T16:20:36,230 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/e5/bd/683b25a703ad07eb243e10bcddc48ec624b38d4bfd4517a39cd84fdee9ea/pysmt-0.9.7.dev397-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,230 Found link https://files.pythonhosted.org/packages/05/2b/67ae8683ad8678bc04fae9c62c5f3a5c41b30f98ba757c2e28042fd23474/pysmt-0.9.7.dev397.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev397 2026-09-08T16:20:36,231 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/0e/d4/7eaeba0a3d657fbaa12426c9e6c18950d786c9d3e5d335b79baad56abf00/pysmt-0.9.7.dev408-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,231 Found link https://files.pythonhosted.org/packages/b1/7b/cbd071bb8dd8d7d75d1a373fb13104a9c61f880befc112d28374c0f5421e/pysmt-0.9.7.dev408.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev408 2026-09-08T16:20:36,232 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/05/ff/bacd5fe9cb7e893d5574c52de88445e225efb680e32af9fc098798e13d0f/pysmt-0.9.7.dev414-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,233 Found link https://files.pythonhosted.org/packages/d2/ef/7bd0775fb5269c6be7faec24549863e78b418c879a843bcf2da7dcc2a2d9/pysmt-0.9.7.dev414.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev414 2026-09-08T16:20:36,233 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/f9/0a/8472cdcd1a4d2c953762fdf084bfa4e3989fc9423cbdef353925c5039f75/pysmt-0.9.7.dev423-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,234 Found link https://files.pythonhosted.org/packages/bf/e6/2f0d02ead78f3e909d74eaf39d1e7014c0efd491f28bcb4a14a3a8b36009/pysmt-0.9.7.dev423.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev423 2026-09-08T16:20:36,235 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/ce/35/3c2114186f9633ab3f12361dec589c4f9a1325b7cdea21d093055a7c3bcc/pysmt-0.9.7.dev426-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,235 Found link https://files.pythonhosted.org/packages/75/94/a65b92000e8b7edd329db243fee007df1a0f4117808597b82e2537c68074/pysmt-0.9.7.dev426.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev426 2026-09-08T16:20:36,236 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/83/64/d659b56f3ad9faf2714850cde3d5afce596ca6b994d15628b7762512c418/pysmt-0.9.7.dev431-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,237 Found link https://files.pythonhosted.org/packages/72/ca/9590d014983b121967ade9e0e1ed58cd77f2f235fe7dd8936e1097ce0ae7/pysmt-0.9.7.dev431.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev431 2026-09-08T16:20:36,238 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/1b/2c/29a4e68fdbd982fda5a9ef3ca789b8f70372754076a286c9754b82fe015b/pysmt-0.9.7.dev433-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,238 Found link https://files.pythonhosted.org/packages/cb/83/f2c582c85ca32a910996ccab9deadbb155449845be4d673e77518db82c47/pysmt-0.9.7.dev433.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev433 2026-09-08T16:20:36,239 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/fe/3a/30fa5f0b231bcbb181ee53095364e1b56c5ef3819bd00839ce8a7ba03153/pysmt-0.9.7.dev436-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,240 Found link https://files.pythonhosted.org/packages/0d/38/648b61fae0306252dfd9742c67a998c1ac3afef73fe6431de21279188f54/pysmt-0.9.7.dev436.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev436 2026-09-08T16:20:36,240 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/99/e9/dd80aa4c8ebabba45fde02f26db983598dd456eabf3bc5ab1e74787b88fc/pysmt-0.9.7.dev439-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,241 Found link https://files.pythonhosted.org/packages/a4/29/10e820bbced4ec745e50d8eef8eb171a07851e544ced721f7bc5d6bd1707/pysmt-0.9.7.dev439.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev439 2026-09-08T16:20:36,241 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/99/2e/852eb6ee0c6cc5f692387a8d776cc81361e81125ec33ad10ea1f74cd7bb8/pysmt-0.9.7.dev441-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,242 Found link https://files.pythonhosted.org/packages/42/98/3bc956322304f0c3c4b280aa5a97a0c5db896b6153edaabb68ae30c0832a/pysmt-0.9.7.dev441.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev441 2026-09-08T16:20:36,243 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/a8/ad/009be3a8037622999980bac1d57aa28f6171a2ad74f7fa8d5c59df28aa99/pysmt-0.9.7.dev444-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,243 Found link https://files.pythonhosted.org/packages/23/9d/ba30e2b7a0e909052d7125c6d41b6f6e4ac4d1223cc8148c08ae3c8ae982/pysmt-0.9.7.dev444.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev444 2026-09-08T16:20:36,244 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/2a/dd/d1e6a5a549e2f445ac5c03ccfdb618d84a20f8562a819c37961a6c15a33b/pysmt-0.9.7.dev446-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,245 Found link https://files.pythonhosted.org/packages/d3/69/134c09bd895c020b9f04d55e50070348893f46096f550867662ed0bba1f4/pysmt-0.9.7.dev446.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev446 2026-09-08T16:20:36,245 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/06/9a/6bd4f6dba02a27bd19b0b75b0f912dc939ff3b16cd7a0355313ec5af8538/pysmt-0.9.7.dev452-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,246 Found link https://files.pythonhosted.org/packages/d9/d2/37992e6a0e7f27dec0d2ac72d74da22c9e8c165ee5b2a66f21a35024b4aa/pysmt-0.9.7.dev452.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev452 2026-09-08T16:20:36,247 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/47/3e/6b91479567b5aef19e8850fabab2c0769b7c4e624c0298a24c7be9713041/pysmt-0.9.7.dev457-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,247 Found link https://files.pythonhosted.org/packages/3b/1d/70132755a6d7d6768cdefac3094a51f5ad2dfe070378ccc7e491d72b55f9/pysmt-0.9.7.dev457.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev457 2026-09-08T16:20:36,248 Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/73/22/21604b4df5fde6f8efa0cd6a47599271c02246a81bd9bc5d5e74e2bbab03/pysmt-0.9.7.dev461-py2.py3-none-any.whl (from https://pypi.org/simple/pysmt/) 2026-09-08T16:20:36,249 Found link https://files.pythonhosted.org/packages/7d/6f/846a8ca18a5badd2d289bcbaaa6e71b3ffe614f7ed8a58c6be407cfaf42a/pysmt-0.9.7.dev461.tar.gz (from https://pypi.org/simple/pysmt/), version: 0.9.7.dev461 2026-09-08T16:20:36,250 Fetching project page and analyzing links: https://www.piwheels.org/simple/pysmt/ 2026-09-08T16:20:36,250 Getting page https://www.piwheels.org/simple/pysmt/ 2026-09-08T16:20:36,252 Found index url https://www.piwheels.org/simple 2026-09-08T16:20:36,445 Fetched page https://www.piwheels.org/simple/pysmt/ as text/html 2026-09-08T16:20:36,463 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev457-py3-none-any.whl#sha256=64e8a563357ae08e456cd839aafd181bcaed315240655f3d040be9a50fdb363a (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,463 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev452-py3-none-any.whl#sha256=8c57f088d52ecb83bd6210078955cb10e7cad798a496f2c01b0534f4c9a6250c (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,464 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev446-py3-none-any.whl#sha256=4c4ec54294b78245724f13dd983bd9c1f7118aa677359285c5f225fa1ca5acb8 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,464 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev444-py3-none-any.whl#sha256=9259b6c3a4e57f17232625cd9d4dd4ac641b40a4656f05760d7111db0c090595 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,465 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev441-py3-none-any.whl#sha256=4c8d19ac82d7afd70463b5bbf5be91ae7b0c79ee5c7d4227bf4c30fb8cc409c9 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,465 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev439-py3-none-any.whl#sha256=683d3633ba9ba1197dd972dd73e0dad90377f13a1958a6a1173eb3a85ac62e54 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,466 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev436-py3-none-any.whl#sha256=a134c9daa95462d28db7d52882be590a230ffe633331f050a6136921690477bb (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,467 Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/pysmt-0.9.7.dev433-py3-none-any.whl#sha256=54e3eecc9a8cce04bedf61e4fa0295c9b541dbb060afcce1b9f6c9e317f98135 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,468 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev431-py3-none-any.whl#sha256=8f41a44324dd2e88cbea3c1e83c8be127402ab1bb3637c762b583962649ae96f (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,468 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev426-py3-none-any.whl#sha256=be7c803b14cfe441d1d6b0d0af9c8a6e0fedfa8ea8115bd4cbb71f301f9300cd (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,469 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev423-py3-none-any.whl#sha256=025a6629fb8218bacf8d227f9600570f7b33155b30e874f6ab95555898beec2f (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,470 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev414-py3-none-any.whl#sha256=454ce8a38802df06f1d78992f406389936727e53c01125ea1cef7c6755a3d505 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,470 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev408-py3-none-any.whl#sha256=55623dd8dcc58af1960b9ec81504ace76637267b910136e3556f268885d454b7 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,471 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev397-py3-none-any.whl#sha256=89acbaf9e6a3034d81e4acc9406485329c0e134a937e656e49aeba84927bf5e7 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,472 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev390-py3-none-any.whl#sha256=a560258d3ad33b413b00f8d24eaca8e35e6318b5ffb0b1e5df0d9cdd85e941a8 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,472 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev356-py3-none-any.whl#sha256=4c6e587c04b9989542cf4861944a23c233f268be93c20cd2fad58be53aedb9bd (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,473 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev354-py3-none-any.whl#sha256=a5bab925f354aa50895c66025432b4aef4e859aa2a85019038e8da851195d5f2 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,473 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev346-py3-none-any.whl#sha256=ba60ca5e84179a3afc360f5e0d781c270bfed8ad4141ac05394429dc1c2ddb39 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,474 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/pysmt-0.9.7.dev337-py3-none-any.whl#sha256=6127c20250df9943583c490185a95c7313197def9683563b863f1418bcbccd5e (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,474 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.7.dev120-py3-none-any.whl#sha256=3c5a42ecafe849a620ce633cddf990a514dd34af107c7e8a9b6714538da02971 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,475 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.7.dev112-py3-none-any.whl#sha256=d48f9b4333499f41123d8ffce8bd5ec20d64ec80a0ec230d71a22fe8e9ee5194 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,476 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.7.dev108-py3-none-any.whl#sha256=d1b300ee5c016fc51478e55e86fe7e3c1ae251437ae6cf329f287ec5205488a8 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,477 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.7.dev105-py3-none-any.whl#sha256=92a7e111dc3a9cd714e2e60e3ad94672131530d39f659f1e63ae678e1cb17bb4 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,477 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.7.dev104-py3-none-any.whl#sha256=ec1611877221b2ef0de2bfa332de2b9be8211373adafc65a6202da509fc044e5 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,478 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.7.dev101-py3-none-any.whl#sha256=3b3966f2936fef79955b04b7502ca54ecd5a2d1cb0f82b8f4a2c420015b0e2d6 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,479 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6-py3-none-any.whl#sha256=d913e129dfffbca657102711aa7b34741b73e14537c7781be8fdca0b5c5de290 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,479 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev65-py3-none-any.whl#sha256=d380cd48f11390db9dbcf684a26ab3095f53139950449459d85edf7a2d44d221 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,480 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev57-py3-none-any.whl#sha256=7d635a5cee287c537034e07453a98a8f3ea3da8279ede80e30c4c06761741c78 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,481 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev53-py3-none-any.whl#sha256=6b0d2fa4e5c5242b404b82c7d31d1ee30709e8024cc67d87bc3a1f809353a80e (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,482 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev48-py3-none-any.whl#sha256=e80a0c0f608dd174e3d7f7e95085c042414d1b8d7434c7140ff235ba5d36bf2d (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,483 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev44-py3-none-any.whl#sha256=aa5bba81e507c8daff3232ee5c1ab702be70d284a93ada8c48961da30e8b34de (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,484 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev40-py3-none-any.whl#sha256=c7d0e6999324253e24bfb22b42c99b79ccc974554d4562a793823566a1b91ade (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,484 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev38-py3-none-any.whl#sha256=22aa7fded1c3062ad5cdbf0dd082c2f69f82ef5b4ddf9d5714ff660e43a7a919 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,485 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev34-py3-none-any.whl#sha256=2937802d8701161e478d39c3ffd1a42fff4de7eb876f772515bd67d6775d4b9f (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,486 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev21-py3-none-any.whl#sha256=e58a65a873b4115151244779b92021c344eb2e859eecf47b118a0a0547e94dd3 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,486 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev14-py3-none-any.whl#sha256=5f5c3bf241793f1b56c60782a10da5fcd40f77abfcf2f53e856e017751677e0f (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,487 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev11-py3-none-any.whl#sha256=1e43ca6209f6887a83b4f9db76c80f1a680d77d3ae2cfa384079b1208a3c9a0d (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,488 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev9-py3-none-any.whl#sha256=c109715c2dd1e8eeca58260246cddb0b29462e006d66016be12c1a1c59e80912 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,488 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev7-py3-none-any.whl#sha256=fe5915c68bbf1504dee4fa42b9bbf73496da61da0ee35c7581e4416a907cbaa8 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,489 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev5-py3-none-any.whl#sha256=3b5f147ccd8c00ff5b36b57fccf1ab0f06fdb9f60d59cf57e85c407d2f7693c9 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,490 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.6.dev3-py3-none-any.whl#sha256=df8191d76cbef19d557caa28609d6dc2426ecfb15050f7e8a44dd0ac43351d63 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,491 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.5-py3-none-any.whl#sha256=c8d966a51c59bfa16b82611de4d8c6d9909e66244a0ca05d6e4ba21067a8ba3c (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,491 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.1.dev166-py3-none-any.whl#sha256=5b07ddcdf2b418724371bf862959b3fc9bf6a73eaac6cf829153c739847de9bc (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,492 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.1.dev163-py3-none-any.whl#sha256=f064be356cc26b89b1cf502b29c93ed8175eafb7b46872d66b303abd145bcc58 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,493 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.9.1.dev162-py3-none-any.whl#sha256=14b2147401903eb60eccd5ea389f845ed8e875c84136ea8232ba652d31cc8263 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,494 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.8.0-py3-none-any.whl#sha256=a63e2ce0737af3e0982b1b8303d1d887e4d2b0df260371b10e3341f8d41d6bbb (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,494 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.7.5-py3-none-any.whl#sha256=36dbe87edac3fa1b8df46905ea9599c395dee7bf309d962074ca39f788bca02f (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,495 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.7.0-py3-none-any.whl#sha256=fa4292ea14b20bfd90daa48812c67ae3331b23f6d1fd78c6ecb9131ab8af4bf9 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,495 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.6.1-py3-none-any.whl#sha256=04fdec9dc0b3d0d668fc4beefa63131e4b395522da183630d41948e464808834 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,495 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.6.0-py3-none-any.whl#sha256=45f75f4e84c4059a5e0724e232c4056ee8423a981e7c9088e01a855ddac6961b (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,496 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.5.1-py3-none-any.whl#sha256=9083146eba37829480a4c68587bb3e2ca171d56eac607f1fd118bcbdd4d3ef48 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,496 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.5.0-py3-none-any.whl#sha256=37d266e508c1a0be3a6c4ee50e1c4191007bbbb472358174b18f31b31d650d4c (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,497 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.4.4-py3-none-any.whl#sha256=0ce8ec3371d19a8a665da5529c01360fa9b5ad7176d9996fcbae53faa696adf1 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,497 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.4.3-py3-none-any.whl#sha256=4a45715649636b76563a3a5bf586fe7c9b0cf3021effb35f0d4cfd7e588f411c (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,498 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.4.2-py3-none-any.whl#sha256=091c81c35e8d91f451fc9cc9ba90b475c0e32da033b5289433da3c8b3327c61f (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,499 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.4.1-py3-none-any.whl#sha256=b28e78339ceab144a6512bbaf105b2817d7ba4a932a265360299587954202564 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,499 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.4.0-py3-none-any.whl#sha256=01774100470f5a79c74f3b740dd4e749a5b9f1a362b7054a4e68096e66db4223 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,500 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.3.0-py3-none-any.whl#sha256=3e5464e67629dfd14f298f09731cc0feb764fe255935c1260d3b2cad4c0e68ab (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,500 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.3.0.dev0-py3-none-any.whl#sha256=befaba1798c6bed224d5f6a4a51ec862b16e870f6332d24327d3c7c1587a735b (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,501 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.2.5.dev1-py3-none-any.whl#sha256=f8059fdc37e8bde3c43ed504521408ab210019f8258c104c449b5bb21adb3ff0 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,502 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.2.4-py3-none-any.whl#sha256=5b1f1b694d243ae70f8749443e8cb50b6177dd049d002af48cfaaabd2a04a3d7 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,502 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.2.4.dev0-py3-none-any.whl#sha256=aa82fbc70d20057bee193e2ef50410c06427bba9e21657b1cb9761319a6046a2 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,503 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.2.3-py3-none-any.whl#sha256=8d589a037a368b550ee76430c3f81df6425aaa88c690fa1888d5bc35681d2aa5 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,503 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.2.3.dev0-py3-none-any.whl#sha256=b668cd88c8c713822d851c026a995d328d0bceac9162ed53a720509849fef5e6 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,504 Skipping link: No binaries permitted for pysmt: https://archive1.piwheels.org/simple/pysmt/PySMT-0.2.2-py3-none-any.whl#sha256=c189f0a25d91b35506bfee183b84e9d626b8ec58a1a009b6ca6ba21fc8863d38 (from https://www.piwheels.org/simple/pysmt/) 2026-09-08T16:20:36,504 Skipping link: not a file: https://www.piwheels.org/simple/pysmt/ 2026-09-08T16:20:36,505 Skipping link: not a file: https://pypi.org/simple/pysmt/ 2026-09-08T16:20:36,533 Given no hashes to check 1 links for project 'pysmt': discarding no candidates 2026-09-08T16:20:36,551 Collecting pysmt==0.9.7.dev461 2026-09-08T16:20:36,554 Created temporary directory: /tmp/pip-unpack-kwzkubv6 2026-09-08T16:20:36,782 Downloading pysmt-0.9.7.dev461.tar.gz (314 kB) 2026-09-08T16:20:37,287 Added pysmt==0.9.7.dev461 from https://files.pythonhosted.org/packages/7d/6f/846a8ca18a5badd2d289bcbaaa6e71b3ffe614f7ed8a58c6be407cfaf42a/pysmt-0.9.7.dev461.tar.gz to build tracker '/tmp/pip-build-tracker-wh6rno2f' 2026-09-08T16:20:37,288 Running setup.py (path:/tmp/pip-wheel-w5hx_mj9/pysmt_65b7d3c7735542fba79a2b9d78f0d31e/setup.py) egg_info for package pysmt 2026-09-08T16:20:37,289 Created temporary directory: /tmp/pip-pip-egg-info-z0bsaey3 2026-09-08T16:20:37,290 Preparing metadata (setup.py): started 2026-09-08T16:20:37,291 Running command python setup.py egg_info 2026-09-08T16:20:38,478 running egg_info 2026-09-08T16:20:38,509 creating /tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info 2026-09-08T16:20:38,510 writing /tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info/PKG-INFO 2026-09-08T16:20:38,513 writing dependency_links to /tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info/dependency_links.txt 2026-09-08T16:20:38,515 writing entry points to /tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info/entry_points.txt 2026-09-08T16:20:38,517 writing top-level names to /tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info/top_level.txt 2026-09-08T16:20:38,518 writing manifest file '/tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info/SOURCES.txt' 2026-09-08T16:20:38,618 reading manifest file '/tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info/SOURCES.txt' 2026-09-08T16:20:38,620 reading manifest template 'MANIFEST.in' 2026-09-08T16:20:38,627 adding license file 'LICENSE' 2026-09-08T16:20:38,628 adding license file 'NOTICE' 2026-09-08T16:20:38,634 writing manifest file '/tmp/pip-pip-egg-info-z0bsaey3/PySMT.egg-info/SOURCES.txt' 2026-09-08T16:20:38,747 Preparing metadata (setup.py): finished with status 'done' 2026-09-08T16:20:38,750 Source in /tmp/pip-wheel-w5hx_mj9/pysmt_65b7d3c7735542fba79a2b9d78f0d31e has version 0.9.7.dev461, which satisfies requirement pysmt==0.9.7.dev461 from https://files.pythonhosted.org/packages/7d/6f/846a8ca18a5badd2d289bcbaaa6e71b3ffe614f7ed8a58c6be407cfaf42a/pysmt-0.9.7.dev461.tar.gz 2026-09-08T16:20:38,751 Removed pysmt==0.9.7.dev461 from https://files.pythonhosted.org/packages/7d/6f/846a8ca18a5badd2d289bcbaaa6e71b3ffe614f7ed8a58c6be407cfaf42a/pysmt-0.9.7.dev461.tar.gz from build tracker '/tmp/pip-build-tracker-wh6rno2f' 2026-09-08T16:20:38,756 Created temporary directory: /tmp/pip-unpack-kug4bvzm 2026-09-08T16:20:38,756 Building wheels for collected packages: pysmt 2026-09-08T16:20:38,762 Created temporary directory: /tmp/pip-wheel-jt6l6f8r 2026-09-08T16:20:38,762 Building wheel for pysmt (setup.py): started 2026-09-08T16:20:38,763 Destination directory: /tmp/pip-wheel-jt6l6f8r 2026-09-08T16:20:38,764 Running command python setup.py bdist_wheel 2026-09-08T16:20:39,634 running bdist_wheel 2026-09-08T16:20:39,776 running build 2026-09-08T16:20:39,776 running build_py 2026-09-08T16:20:39,806 creating build/lib/pysmt 2026-09-08T16:20:39,808 copying pysmt/environment.py -> build/lib/pysmt 2026-09-08T16:20:39,819 copying pysmt/formula.py -> build/lib/pysmt 2026-09-08T16:20:39,822 copying pysmt/logics.py -> build/lib/pysmt 2026-09-08T16:20:39,826 copying pysmt/printers.py -> build/lib/pysmt 2026-09-08T16:20:39,829 copying pysmt/simplifier.py -> build/lib/pysmt 2026-09-08T16:20:39,832 copying pysmt/oracles.py -> build/lib/pysmt 2026-09-08T16:20:39,835 copying pysmt/factory.py -> build/lib/pysmt 2026-09-08T16:20:39,838 copying pysmt/utils.py -> build/lib/pysmt 2026-09-08T16:20:39,841 copying pysmt/typing.py -> build/lib/pysmt 2026-09-08T16:20:39,847 copying pysmt/exceptions.py -> build/lib/pysmt 2026-09-08T16:20:39,850 copying pysmt/shortcuts.py -> build/lib/pysmt 2026-09-08T16:20:39,853 copying pysmt/constants.py -> build/lib/pysmt 2026-09-08T16:20:39,855 copying pysmt/fnode.py -> build/lib/pysmt 2026-09-08T16:20:39,858 copying pysmt/substituter.py -> build/lib/pysmt 2026-09-08T16:20:39,860 copying pysmt/configuration.py -> build/lib/pysmt 2026-09-08T16:20:39,863 copying pysmt/__init__.py -> build/lib/pysmt 2026-09-08T16:20:39,865 copying pysmt/__main__.py -> build/lib/pysmt 2026-09-08T16:20:39,866 copying pysmt/type_checker.py -> build/lib/pysmt 2026-09-08T16:20:39,869 copying pysmt/parsing.py -> build/lib/pysmt 2026-09-08T16:20:39,872 copying pysmt/operators.py -> build/lib/pysmt 2026-09-08T16:20:39,874 copying pysmt/rewritings.py -> build/lib/pysmt 2026-09-08T16:20:39,877 copying pysmt/decorators.py -> build/lib/pysmt 2026-09-08T16:20:39,880 creating build/lib/pysmt/optimization 2026-09-08T16:20:39,881 copying pysmt/optimization/msat.py -> build/lib/pysmt/optimization 2026-09-08T16:20:39,883 copying pysmt/optimization/optimsat.py -> build/lib/pysmt/optimization 2026-09-08T16:20:39,886 copying pysmt/optimization/optimizer.py -> build/lib/pysmt/optimization 2026-09-08T16:20:39,889 copying pysmt/optimization/goal.py -> build/lib/pysmt/optimization 2026-09-08T16:20:39,891 copying pysmt/optimization/__init__.py -> build/lib/pysmt/optimization 2026-09-08T16:20:39,893 copying pysmt/optimization/z3.py -> build/lib/pysmt/optimization 2026-09-08T16:20:39,896 copying pysmt/optimization/yices.py -> build/lib/pysmt/optimization 2026-09-08T16:20:39,898 creating build/lib/pysmt/cmd 2026-09-08T16:20:39,899 copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd 2026-09-08T16:20:39,901 copying pysmt/cmd/install.py -> build/lib/pysmt/cmd 2026-09-08T16:20:39,904 copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd 2026-09-08T16:20:39,905 copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd 2026-09-08T16:20:39,908 creating build/lib/pysmt/smtlib 2026-09-08T16:20:39,909 copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib 2026-09-08T16:20:39,911 copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib 2026-09-08T16:20:39,914 copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib 2026-09-08T16:20:39,916 copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib 2026-09-08T16:20:39,918 copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib 2026-09-08T16:20:39,921 copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib 2026-09-08T16:20:39,922 copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib 2026-09-08T16:20:39,925 creating build/lib/pysmt/solvers 2026-09-08T16:20:39,926 copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,928 copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,932 copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,934 copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,937 copying pysmt/solvers/options.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,939 copying pysmt/solvers/cvcfive.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,941 copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,944 copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,946 copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,948 copying pysmt/solvers/cvcfour.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,951 copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,954 copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,956 copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,958 copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,961 copying pysmt/solvers/dynmsat.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,963 copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,966 copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers 2026-09-08T16:20:39,970 creating build/lib/pysmt/test 2026-09-08T16:20:39,971 copying pysmt/test/test_array.py -> build/lib/pysmt/test 2026-09-08T16:20:39,973 copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test 2026-09-08T16:20:39,976 copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test 2026-09-08T16:20:39,978 copying pysmt/test/omt_examples.py -> build/lib/pysmt/test 2026-09-08T16:20:39,980 copying pysmt/test/test_euf.py -> build/lib/pysmt/test 2026-09-08T16:20:39,982 copying pysmt/test/test_lira.py -> build/lib/pysmt/test 2026-09-08T16:20:39,984 copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test 2026-09-08T16:20:39,987 copying pysmt/test/test_size.py -> build/lib/pysmt/test 2026-09-08T16:20:39,989 copying pysmt/test/optimization_utils.py -> build/lib/pysmt/test 2026-09-08T16:20:39,991 copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test 2026-09-08T16:20:39,994 copying pysmt/test/test_models.py -> build/lib/pysmt/test 2026-09-08T16:20:39,996 copying pysmt/test/test_qe.py -> build/lib/pysmt/test 2026-09-08T16:20:39,998 copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test 2026-09-08T16:20:40,000 copying pysmt/test/test_cvc_quantifiers.py -> build/lib/pysmt/test 2026-09-08T16:20:40,003 copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test 2026-09-08T16:20:40,006 copying pysmt/test/test_regressions.py -> build/lib/pysmt/test 2026-09-08T16:20:40,012 copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test 2026-09-08T16:20:40,018 copying pysmt/test/test_printing.py -> build/lib/pysmt/test 2026-09-08T16:20:40,025 copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test 2026-09-08T16:20:40,029 copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test 2026-09-08T16:20:40,030 copying pysmt/test/test_optimizing.py -> build/lib/pysmt/test 2026-09-08T16:20:40,032 copying pysmt/test/test_sorts.py -> build/lib/pysmt/test 2026-09-08T16:20:40,035 copying pysmt/test/examples.py -> build/lib/pysmt/test 2026-09-08T16:20:40,038 copying pysmt/test/test_nlira.py -> build/lib/pysmt/test 2026-09-08T16:20:40,040 copying pysmt/test/test_bv.py -> build/lib/pysmt/test 2026-09-08T16:20:40,042 copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test 2026-09-08T16:20:40,044 copying pysmt/test/test_back.py -> build/lib/pysmt/test 2026-09-08T16:20:40,047 copying pysmt/test/test_bdd.py -> build/lib/pysmt/test 2026-09-08T16:20:40,049 copying pysmt/test/test_env.py -> build/lib/pysmt/test 2026-09-08T16:20:40,051 copying pysmt/test/test_nia.py -> build/lib/pysmt/test 2026-09-08T16:20:40,054 copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test 2026-09-08T16:20:40,055 copying pysmt/test/test_optimization.py -> build/lib/pysmt/test 2026-09-08T16:20:40,058 copying pysmt/test/__init__.py -> build/lib/pysmt/test 2026-09-08T16:20:40,060 copying pysmt/test/test_walkers.py -> build/lib/pysmt/test 2026-09-08T16:20:40,063 copying pysmt/test/test_cnf.py -> build/lib/pysmt/test 2026-09-08T16:20:40,065 copying pysmt/test/test_int.py -> build/lib/pysmt/test 2026-09-08T16:20:40,067 copying pysmt/test/test_dwf.py -> build/lib/pysmt/test 2026-09-08T16:20:40,068 copying pysmt/test/test_imports.py -> build/lib/pysmt/test 2026-09-08T16:20:40,070 copying pysmt/test/test_formula.py -> build/lib/pysmt/test 2026-09-08T16:20:40,073 copying pysmt/test/test_logics.py -> build/lib/pysmt/test 2026-09-08T16:20:40,075 copying pysmt/test/test_constants.py -> build/lib/pysmt/test 2026-09-08T16:20:40,077 copying pysmt/test/test_oracles.py -> build/lib/pysmt/test 2026-09-08T16:20:40,080 copying pysmt/test/test_string.py -> build/lib/pysmt/test 2026-09-08T16:20:40,082 copying pysmt/test/test_solving.py -> build/lib/pysmt/test 2026-09-08T16:20:40,084 copying pysmt/test/test_configuration.py -> build/lib/pysmt/test 2026-09-08T16:20:40,086 copying pysmt/test/test_simplify.py -> build/lib/pysmt/test 2026-09-08T16:20:40,089 creating build/lib/pysmt/walkers 2026-09-08T16:20:40,090 copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers 2026-09-08T16:20:40,092 copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers 2026-09-08T16:20:40,095 copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers 2026-09-08T16:20:40,097 copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers 2026-09-08T16:20:40,098 copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers 2026-09-08T16:20:40,101 creating build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,102 copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,105 copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,107 copying pysmt/cmd/installers/cvcfive.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,109 copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,111 copying pysmt/cmd/installers/cvcfour.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,113 copying pysmt/cmd/installers/optimsat.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,115 copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,117 copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,119 copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,121 copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,124 copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers 2026-09-08T16:20:40,126 creating build/lib/pysmt/smtlib/parser 2026-09-08T16:20:40,127 copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser 2026-09-08T16:20:40,130 copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser 2026-09-08T16:20:40,134 creating build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,135 copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,137 copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,139 copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,142 copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,144 copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,145 copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,147 copying pysmt/test/smtlib/test_parser_omt.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,150 copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,152 copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,154 copying pysmt/test/smtlib/test_omt_lib_solver.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,156 copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,158 copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,160 copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,162 copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,163 copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,165 copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,168 copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,170 copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,172 copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,175 copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,177 copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,180 copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib 2026-09-08T16:20:40,181 running egg_info 2026-09-08T16:20:40,209 writing PySMT.egg-info/PKG-INFO 2026-09-08T16:20:40,212 writing dependency_links to PySMT.egg-info/dependency_links.txt 2026-09-08T16:20:40,214 writing entry points to PySMT.egg-info/entry_points.txt 2026-09-08T16:20:40,216 writing top-level names to PySMT.egg-info/top_level.txt 2026-09-08T16:20:40,264 reading manifest file 'PySMT.egg-info/SOURCES.txt' 2026-09-08T16:20:40,273 reading manifest template 'MANIFEST.in' 2026-09-08T16:20:40,280 adding license file 'LICENSE' 2026-09-08T16:20:40,280 adding license file 'NOTICE' 2026-09-08T16:20:40,288 writing manifest file 'PySMT.egg-info/SOURCES.txt' 2026-09-08T16:20:40,293 /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:215: _Warning: Package 'pysmt.test.configs' is absent from the `packages` configuration. 2026-09-08T16:20:40,293 !! 2026-09-08T16:20:40,294 ******************************************************************************** 2026-09-08T16:20:40,295 ############################ 2026-09-08T16:20:40,295 # Package would be ignored # 2026-09-08T16:20:40,296 ############################ 2026-09-08T16:20:40,296 Python recognizes 'pysmt.test.configs' as an importable package[^1], 2026-09-08T16:20:40,297 but it is absent from setuptools' `packages` configuration. 2026-09-08T16:20:40,298 This leads to an ambiguous overall configuration. If you want to distribute this 2026-09-08T16:20:40,299 package, please make sure that 'pysmt.test.configs' is explicitly added 2026-09-08T16:20:40,299 to the `packages` configuration field. 2026-09-08T16:20:40,300 Alternatively, you can also rely on setuptools' discovery methods 2026-09-08T16:20:40,301 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2026-09-08T16:20:40,301 instead of `find_packages(...)`/`find:`). 2026-09-08T16:20:40,303 You can read more about "package discovery" on setuptools documentation page: 2026-09-08T16:20:40,304 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2026-09-08T16:20:40,305 If you don't want 'pysmt.test.configs' to be distributed and are 2026-09-08T16:20:40,305 already explicitly excluding 'pysmt.test.configs' via 2026-09-08T16:20:40,306 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2026-09-08T16:20:40,306 you can try to use `exclude_package_data`, or `include-package-data=False` in 2026-09-08T16:20:40,307 combination with a more fine grained `package-data` configuration. 2026-09-08T16:20:40,308 You can read more about "package data files" on setuptools documentation page: 2026-09-08T16:20:40,309 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2026-09-08T16:20:40,310 [^1]: For Python, any directory (with suitable naming) can be imported, 2026-09-08T16:20:40,310 even if it does not contain any `.py` files. 2026-09-08T16:20:40,311 On the other hand, currently there is no concept of package data 2026-09-08T16:20:40,311 directory, all directories are treated like packages. 2026-09-08T16:20:40,312 ******************************************************************************** 2026-09-08T16:20:40,313 !! 2026-09-08T16:20:40,313 check.warn(importable) 2026-09-08T16:20:40,314 creating build/lib/pysmt/test/configs 2026-09-08T16:20:40,314 copying pysmt/test/configs/config1.ini -> build/lib/pysmt/test/configs 2026-09-08T16:20:40,315 copying pysmt/test/configs/config_bad.ini -> build/lib/pysmt/test/configs 2026-09-08T16:20:40,344 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-09-08T16:20:40,345 !! 2026-09-08T16:20:40,346 ******************************************************************************** 2026-09-08T16:20:40,346 Please avoid running ``setup.py`` directly. 2026-09-08T16:20:40,347 Instead, use pypa/build, pypa/installer or other 2026-09-08T16:20:40,347 standards-based tools. 2026-09-08T16:20:40,348 This deprecation is overdue, please update your project and remove deprecated 2026-09-08T16:20:40,349 calls to avoid build errors in the future. 2026-09-08T16:20:40,350 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-09-08T16:20:40,350 ******************************************************************************** 2026-09-08T16:20:40,352 !! 2026-09-08T16:20:40,352 self.initialize_options() 2026-09-08T16:20:40,373 installing to build/bdist.linux-armv7l/wheel 2026-09-08T16:20:40,374 running install 2026-09-08T16:20:40,397 running install_lib 2026-09-08T16:20:40,425 creating build/bdist.linux-armv7l/wheel 2026-09-08T16:20:40,428 creating build/bdist.linux-armv7l/wheel/pysmt 2026-09-08T16:20:40,430 copying build/lib/pysmt/environment.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,433 copying build/lib/pysmt/formula.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,436 creating build/bdist.linux-armv7l/wheel/pysmt/optimization 2026-09-08T16:20:40,437 copying build/lib/pysmt/optimization/msat.py -> build/bdist.linux-armv7l/wheel/./pysmt/optimization 2026-09-08T16:20:40,440 copying build/lib/pysmt/optimization/optimsat.py -> build/bdist.linux-armv7l/wheel/./pysmt/optimization 2026-09-08T16:20:40,443 copying build/lib/pysmt/optimization/optimizer.py -> build/bdist.linux-armv7l/wheel/./pysmt/optimization 2026-09-08T16:20:40,445 copying build/lib/pysmt/optimization/goal.py -> build/bdist.linux-armv7l/wheel/./pysmt/optimization 2026-09-08T16:20:40,448 copying build/lib/pysmt/optimization/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/optimization 2026-09-08T16:20:40,450 copying build/lib/pysmt/optimization/z3.py -> build/bdist.linux-armv7l/wheel/./pysmt/optimization 2026-09-08T16:20:40,452 copying build/lib/pysmt/optimization/yices.py -> build/bdist.linux-armv7l/wheel/./pysmt/optimization 2026-09-08T16:20:40,455 creating build/bdist.linux-armv7l/wheel/pysmt/cmd 2026-09-08T16:20:40,456 copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd 2026-09-08T16:20:40,458 copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd 2026-09-08T16:20:40,461 copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd 2026-09-08T16:20:40,463 creating build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2026-09-08T16:20:40,464 copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,467 copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,469 copying build/lib/pysmt/cmd/installers/cvcfive.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,470 copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,473 copying build/lib/pysmt/cmd/installers/cvcfour.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,475 copying build/lib/pysmt/cmd/installers/optimsat.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,477 copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,479 copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,481 copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,483 copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,485 copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers 2026-09-08T16:20:40,487 copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd 2026-09-08T16:20:40,490 copying build/lib/pysmt/logics.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,492 copying build/lib/pysmt/printers.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,495 copying build/lib/pysmt/simplifier.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,498 copying build/lib/pysmt/oracles.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,501 creating build/bdist.linux-armv7l/wheel/pysmt/smtlib 2026-09-08T16:20:40,502 copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib 2026-09-08T16:20:40,504 copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib 2026-09-08T16:20:40,508 copying build/lib/pysmt/smtlib/utils.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib 2026-09-08T16:20:40,511 copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib 2026-09-08T16:20:40,514 creating build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser 2026-09-08T16:20:40,515 copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib/parser 2026-09-08T16:20:40,519 copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib/parser 2026-09-08T16:20:40,521 copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib 2026-09-08T16:20:40,524 copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib 2026-09-08T16:20:40,526 copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib 2026-09-08T16:20:40,528 copying build/lib/pysmt/factory.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,531 copying build/lib/pysmt/utils.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,533 copying build/lib/pysmt/typing.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,535 copying build/lib/pysmt/exceptions.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,537 copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,541 copying build/lib/pysmt/constants.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,543 copying build/lib/pysmt/fnode.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,546 copying build/lib/pysmt/substituter.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,549 copying build/lib/pysmt/configuration.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,552 creating build/bdist.linux-armv7l/wheel/pysmt/solvers 2026-09-08T16:20:40,553 copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,555 copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,559 copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,562 copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,564 copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,566 copying build/lib/pysmt/solvers/cvcfive.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,569 copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,571 copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,573 copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,576 copying build/lib/pysmt/solvers/cvcfour.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,579 copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,581 copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,584 copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,586 copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,589 copying build/lib/pysmt/solvers/dynmsat.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,591 copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,594 copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers 2026-09-08T16:20:40,598 creating build/bdist.linux-armv7l/wheel/pysmt/test 2026-09-08T16:20:40,599 copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,601 copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,604 copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,606 copying build/lib/pysmt/test/omt_examples.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,608 copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,611 copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,613 copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,615 copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,617 copying build/lib/pysmt/test/optimization_utils.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,620 copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,623 creating build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2026-09-08T16:20:40,624 copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,626 copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,628 copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,630 copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,632 copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,634 copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,636 copying build/lib/pysmt/test/smtlib/test_parser_omt.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,638 copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,640 copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,642 copying build/lib/pysmt/test/smtlib/test_omt_lib_solver.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,644 copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,646 copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,648 copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,650 copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,652 copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,653 copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,656 copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,658 copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,660 copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,662 copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,664 copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,667 copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib 2026-09-08T16:20:40,668 copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,670 copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,673 copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,675 copying build/lib/pysmt/test/test_cvc_quantifiers.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,676 copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,679 copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,681 copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,684 copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,686 copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,688 copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,690 copying build/lib/pysmt/test/test_optimizing.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,692 copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,695 copying build/lib/pysmt/test/examples.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,698 copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,700 copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,702 copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,704 copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,706 copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,709 copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,711 copying build/lib/pysmt/test/test_nia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,713 copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,716 creating build/bdist.linux-armv7l/wheel/pysmt/test/configs 2026-09-08T16:20:40,717 copying build/lib/pysmt/test/configs/config1.ini -> build/bdist.linux-armv7l/wheel/./pysmt/test/configs 2026-09-08T16:20:40,719 copying build/lib/pysmt/test/configs/config_bad.ini -> build/bdist.linux-armv7l/wheel/./pysmt/test/configs 2026-09-08T16:20:40,721 copying build/lib/pysmt/test/test_optimization.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,723 copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,725 copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,728 copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,730 copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,732 copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,734 copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,736 copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,739 copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,742 copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,744 copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,746 copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,748 copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,751 copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,753 copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-armv7l/wheel/./pysmt/test 2026-09-08T16:20:40,755 copying build/lib/pysmt/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,757 copying build/lib/pysmt/__main__.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,759 copying build/lib/pysmt/type_checker.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,762 creating build/bdist.linux-armv7l/wheel/pysmt/walkers 2026-09-08T16:20:40,763 copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers 2026-09-08T16:20:40,766 copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers 2026-09-08T16:20:40,768 copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers 2026-09-08T16:20:40,770 copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers 2026-09-08T16:20:40,772 copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers 2026-09-08T16:20:40,774 copying build/lib/pysmt/parsing.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,777 copying build/lib/pysmt/operators.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,779 copying build/lib/pysmt/rewritings.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,783 copying build/lib/pysmt/decorators.py -> build/bdist.linux-armv7l/wheel/./pysmt 2026-09-08T16:20:40,785 running install_egg_info 2026-09-08T16:20:40,820 Copying PySMT.egg-info to build/bdist.linux-armv7l/wheel/./PySMT-0.9.7.dev461-py3.11.egg-info 2026-09-08T16:20:40,831 running install_scripts 2026-09-08T16:20:40,845 creating build/bdist.linux-armv7l/wheel/pysmt-0.9.7.dev461.dist-info/WHEEL 2026-09-08T16:20:40,848 creating '/tmp/pip-wheel-jt6l6f8r/pysmt-0.9.7.dev461-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-09-08T16:20:40,851 adding 'pysmt/__init__.py' 2026-09-08T16:20:40,852 adding 'pysmt/__main__.py' 2026-09-08T16:20:40,854 adding 'pysmt/configuration.py' 2026-09-08T16:20:40,855 adding 'pysmt/constants.py' 2026-09-08T16:20:40,857 adding 'pysmt/decorators.py' 2026-09-08T16:20:40,859 adding 'pysmt/environment.py' 2026-09-08T16:20:40,860 adding 'pysmt/exceptions.py' 2026-09-08T16:20:40,864 adding 'pysmt/factory.py' 2026-09-08T16:20:40,867 adding 'pysmt/fnode.py' 2026-09-08T16:20:40,873 adding 'pysmt/formula.py' 2026-09-08T16:20:40,876 adding 'pysmt/logics.py' 2026-09-08T16:20:40,878 adding 'pysmt/operators.py' 2026-09-08T16:20:40,881 adding 'pysmt/oracles.py' 2026-09-08T16:20:40,883 adding 'pysmt/parsing.py' 2026-09-08T16:20:40,886 adding 'pysmt/printers.py' 2026-09-08T16:20:40,890 adding 'pysmt/rewritings.py' 2026-09-08T16:20:40,895 adding 'pysmt/shortcuts.py' 2026-09-08T16:20:40,899 adding 'pysmt/simplifier.py' 2026-09-08T16:20:40,902 adding 'pysmt/substituter.py' 2026-09-08T16:20:40,904 adding 'pysmt/type_checker.py' 2026-09-08T16:20:40,907 adding 'pysmt/typing.py' 2026-09-08T16:20:40,908 adding 'pysmt/utils.py' 2026-09-08T16:20:40,910 adding 'pysmt/cmd/__init__.py' 2026-09-08T16:20:40,911 adding 'pysmt/cmd/check_version.py' 2026-09-08T16:20:40,913 adding 'pysmt/cmd/install.py' 2026-09-08T16:20:40,915 adding 'pysmt/cmd/shell.py' 2026-09-08T16:20:40,916 adding 'pysmt/cmd/installers/__init__.py' 2026-09-08T16:20:40,919 adding 'pysmt/cmd/installers/base.py' 2026-09-08T16:20:40,920 adding 'pysmt/cmd/installers/bdd.py' 2026-09-08T16:20:40,922 adding 'pysmt/cmd/installers/btor.py' 2026-09-08T16:20:40,923 adding 'pysmt/cmd/installers/cvcfive.py' 2026-09-08T16:20:40,924 adding 'pysmt/cmd/installers/cvcfour.py' 2026-09-08T16:20:40,926 adding 'pysmt/cmd/installers/msat.py' 2026-09-08T16:20:40,927 adding 'pysmt/cmd/installers/optimsat.py' 2026-09-08T16:20:40,929 adding 'pysmt/cmd/installers/pico.py' 2026-09-08T16:20:40,930 adding 'pysmt/cmd/installers/yices.py' 2026-09-08T16:20:40,931 adding 'pysmt/cmd/installers/z3.py' 2026-09-08T16:20:40,933 adding 'pysmt/optimization/__init__.py' 2026-09-08T16:20:40,935 adding 'pysmt/optimization/goal.py' 2026-09-08T16:20:40,936 adding 'pysmt/optimization/msat.py' 2026-09-08T16:20:40,939 adding 'pysmt/optimization/optimizer.py' 2026-09-08T16:20:40,941 adding 'pysmt/optimization/optimsat.py' 2026-09-08T16:20:40,943 adding 'pysmt/optimization/yices.py' 2026-09-08T16:20:40,944 adding 'pysmt/optimization/z3.py' 2026-09-08T16:20:40,946 adding 'pysmt/smtlib/__init__.py' 2026-09-08T16:20:40,948 adding 'pysmt/smtlib/annotations.py' 2026-09-08T16:20:40,949 adding 'pysmt/smtlib/commands.py' 2026-09-08T16:20:40,951 adding 'pysmt/smtlib/printers.py' 2026-09-08T16:20:40,954 adding 'pysmt/smtlib/script.py' 2026-09-08T16:20:40,956 adding 'pysmt/smtlib/solver.py' 2026-09-08T16:20:40,958 adding 'pysmt/smtlib/utils.py' 2026-09-08T16:20:40,960 adding 'pysmt/smtlib/parser/__init__.py' 2026-09-08T16:20:40,967 adding 'pysmt/smtlib/parser/parser.py' 2026-09-08T16:20:40,969 adding 'pysmt/solvers/__init__.py' 2026-09-08T16:20:40,971 adding 'pysmt/solvers/bdd.py' 2026-09-08T16:20:40,974 adding 'pysmt/solvers/btor.py' 2026-09-08T16:20:40,977 adding 'pysmt/solvers/cvcfive.py' 2026-09-08T16:20:40,979 adding 'pysmt/solvers/cvcfour.py' 2026-09-08T16:20:40,981 adding 'pysmt/solvers/dynmsat.py' 2026-09-08T16:20:40,982 adding 'pysmt/solvers/eager.py' 2026-09-08T16:20:40,983 adding 'pysmt/solvers/interpolation.py' 2026-09-08T16:20:40,989 adding 'pysmt/solvers/msat.py' 2026-09-08T16:20:40,991 adding 'pysmt/solvers/options.py' 2026-09-08T16:20:40,993 adding 'pysmt/solvers/pico.py' 2026-09-08T16:20:40,995 adding 'pysmt/solvers/portfolio.py' 2026-09-08T16:20:40,996 adding 'pysmt/solvers/qelim.py' 2026-09-08T16:20:40,998 adding 'pysmt/solvers/smtlib.py' 2026-09-08T16:20:41,001 adding 'pysmt/solvers/solver.py' 2026-09-08T16:20:41,003 adding 'pysmt/solvers/yices.py' 2026-09-08T16:20:41,008 adding 'pysmt/solvers/z3.py' 2026-09-08T16:20:41,011 adding 'pysmt/test/__init__.py' 2026-09-08T16:20:41,014 adding 'pysmt/test/examples.py' 2026-09-08T16:20:41,016 adding 'pysmt/test/omt_examples.py' 2026-09-08T16:20:41,018 adding 'pysmt/test/optimization_utils.py' 2026-09-08T16:20:41,020 adding 'pysmt/test/test_array.py' 2026-09-08T16:20:41,021 adding 'pysmt/test/test_back.py' 2026-09-08T16:20:41,023 adding 'pysmt/test/test_bdd.py' 2026-09-08T16:20:41,025 adding 'pysmt/test/test_bv.py' 2026-09-08T16:20:41,026 adding 'pysmt/test/test_bv_simplification.py' 2026-09-08T16:20:41,028 adding 'pysmt/test/test_cnf.py' 2026-09-08T16:20:41,029 adding 'pysmt/test/test_configuration.py' 2026-09-08T16:20:41,031 adding 'pysmt/test/test_constants.py' 2026-09-08T16:20:41,032 adding 'pysmt/test/test_cvc_quantifiers.py' 2026-09-08T16:20:41,033 adding 'pysmt/test/test_dwf.py' 2026-09-08T16:20:41,035 adding 'pysmt/test/test_eager_model.py' 2026-09-08T16:20:41,037 adding 'pysmt/test/test_env.py' 2026-09-08T16:20:41,038 adding 'pysmt/test/test_euf.py' 2026-09-08T16:20:41,042 adding 'pysmt/test/test_formula.py' 2026-09-08T16:20:41,043 adding 'pysmt/test/test_hr_parsing.py' 2026-09-08T16:20:41,045 adding 'pysmt/test/test_imports.py' 2026-09-08T16:20:41,046 adding 'pysmt/test/test_int.py' 2026-09-08T16:20:41,048 adding 'pysmt/test/test_interpolation.py' 2026-09-08T16:20:41,049 adding 'pysmt/test/test_lira.py' 2026-09-08T16:20:41,051 adding 'pysmt/test/test_logics.py' 2026-09-08T16:20:41,052 adding 'pysmt/test/test_models.py' 2026-09-08T16:20:41,053 adding 'pysmt/test/test_native_qe.py' 2026-09-08T16:20:41,055 adding 'pysmt/test/test_nia.py' 2026-09-08T16:20:41,056 adding 'pysmt/test/test_nlira.py' 2026-09-08T16:20:41,058 adding 'pysmt/test/test_optimization.py' 2026-09-08T16:20:41,060 adding 'pysmt/test/test_optimizing.py' 2026-09-08T16:20:41,061 adding 'pysmt/test/test_oracles.py' 2026-09-08T16:20:41,063 adding 'pysmt/test/test_portfolio.py' 2026-09-08T16:20:41,065 adding 'pysmt/test/test_printing.py' 2026-09-08T16:20:41,066 adding 'pysmt/test/test_qe.py' 2026-09-08T16:20:41,069 adding 'pysmt/test/test_regressions.py' 2026-09-08T16:20:41,072 adding 'pysmt/test/test_rewritings.py' 2026-09-08T16:20:41,073 adding 'pysmt/test/test_shannon_expansion.py' 2026-09-08T16:20:41,075 adding 'pysmt/test/test_simplify.py' 2026-09-08T16:20:41,076 adding 'pysmt/test/test_size.py' 2026-09-08T16:20:41,079 adding 'pysmt/test/test_solving.py' 2026-09-08T16:20:41,081 adding 'pysmt/test/test_sorts.py' 2026-09-08T16:20:41,082 adding 'pysmt/test/test_string.py' 2026-09-08T16:20:41,084 adding 'pysmt/test/test_typechecker.py' 2026-09-08T16:20:41,085 adding 'pysmt/test/test_unsat_cores.py' 2026-09-08T16:20:41,087 adding 'pysmt/test/test_walker_ext.py' 2026-09-08T16:20:41,089 adding 'pysmt/test/test_walkers.py' 2026-09-08T16:20:41,091 adding 'pysmt/test/configs/config1.ini' 2026-09-08T16:20:41,092 adding 'pysmt/test/configs/config_bad.ini' 2026-09-08T16:20:41,094 adding 'pysmt/test/smtlib/__init__.py' 2026-09-08T16:20:41,096 adding 'pysmt/test/smtlib/parser_utils.py' 2026-09-08T16:20:41,097 adding 'pysmt/test/smtlib/test_annotations.py' 2026-09-08T16:20:41,099 adding 'pysmt/test/smtlib/test_fuzzed.py' 2026-09-08T16:20:41,100 adding 'pysmt/test/smtlib/test_generic_wrapper.py' 2026-09-08T16:20:41,102 adding 'pysmt/test/smtlib/test_griggio.py' 2026-09-08T16:20:41,103 adding 'pysmt/test/smtlib/test_model_validation.py' 2026-09-08T16:20:41,104 adding 'pysmt/test/smtlib/test_omt_lib_solver.py' 2026-09-08T16:20:41,106 adding 'pysmt/test/smtlib/test_parser_examples.py' 2026-09-08T16:20:41,108 adding 'pysmt/test/smtlib/test_parser_extensibility.py' 2026-09-08T16:20:41,109 adding 'pysmt/test/smtlib/test_parser_lra.py' 2026-09-08T16:20:41,110 adding 'pysmt/test/smtlib/test_parser_omt.py' 2026-09-08T16:20:41,112 adding 'pysmt/test/smtlib/test_parser_qf_arrays.py' 2026-09-08T16:20:41,113 adding 'pysmt/test/smtlib/test_parser_qf_lia.py' 2026-09-08T16:20:41,114 adding 'pysmt/test/smtlib/test_parser_qf_lira.py' 2026-09-08T16:20:41,115 adding 'pysmt/test/smtlib/test_parser_qf_lra.py' 2026-09-08T16:20:41,117 adding 'pysmt/test/smtlib/test_parser_qf_nia.py' 2026-09-08T16:20:41,118 adding 'pysmt/test/smtlib/test_parser_qf_nra.py' 2026-09-08T16:20:41,119 adding 'pysmt/test/smtlib/test_parser_qf_uf.py' 2026-09-08T16:20:41,120 adding 'pysmt/test/smtlib/test_parser_qf_ufbv.py' 2026-09-08T16:20:41,122 adding 'pysmt/test/smtlib/test_parser_type_error.py' 2026-09-08T16:20:41,123 adding 'pysmt/test/smtlib/test_smtlibscript.py' 2026-09-08T16:20:41,125 adding 'pysmt/walkers/__init__.py' 2026-09-08T16:20:41,127 adding 'pysmt/walkers/dag.py' 2026-09-08T16:20:41,128 adding 'pysmt/walkers/generic.py' 2026-09-08T16:20:41,130 adding 'pysmt/walkers/identitydag.py' 2026-09-08T16:20:41,131 adding 'pysmt/walkers/tree.py' 2026-09-08T16:20:41,135 adding 'pysmt-0.9.7.dev461.dist-info/licenses/LICENSE' 2026-09-08T16:20:41,136 adding 'pysmt-0.9.7.dev461.dist-info/licenses/NOTICE' 2026-09-08T16:20:41,137 adding 'pysmt-0.9.7.dev461.dist-info/METADATA' 2026-09-08T16:20:41,138 adding 'pysmt-0.9.7.dev461.dist-info/WHEEL' 2026-09-08T16:20:41,139 adding 'pysmt-0.9.7.dev461.dist-info/entry_points.txt' 2026-09-08T16:20:41,140 adding 'pysmt-0.9.7.dev461.dist-info/top_level.txt' 2026-09-08T16:20:41,143 adding 'pysmt-0.9.7.dev461.dist-info/RECORD' 2026-09-08T16:20:41,150 removing build/bdist.linux-armv7l/wheel 2026-09-08T16:20:41,295 Building wheel for pysmt (setup.py): finished with status 'done' 2026-09-08T16:20:41,301 Created wheel for pysmt: filename=pysmt-0.9.7.dev461-py3-none-any.whl size=390298 sha256=f6cefb825c2c29b89c216b433ee2911b87ca29f515040ef0ecea9989d6e0eb1a 2026-09-08T16:20:41,302 Stored in directory: /tmp/pip-ephem-wheel-cache-oegrw4cc/wheels/bc/fa/7b/53d9ac031979d34f5f5ca307483351ecb066824af80349185a 2026-09-08T16:20:41,317 Successfully built pysmt 2026-09-08T16:20:41,330 Removed build tracker: '/tmp/pip-build-tracker-wh6rno2f'