2021-07-13T17:40:38,073 Created temporary directory: /tmp/pip-ephem-wheel-cache-bajmopqo 2021-07-13T17:40:38,076 Created temporary directory: /tmp/pip-req-tracker-7g5yl3g6 2021-07-13T17:40:38,076 Initialized build tracking at /tmp/pip-req-tracker-7g5yl3g6 2021-07-13T17:40:38,076 Created build tracker: /tmp/pip-req-tracker-7g5yl3g6 2021-07-13T17:40:38,077 Entered build tracker: /tmp/pip-req-tracker-7g5yl3g6 2021-07-13T17:40:38,077 Created temporary directory: /tmp/pip-wheel-vkqgk7pf 2021-07-13T17:40:38,107 1 location(s) to search for versions of z3-solver: 2021-07-13T17:40:38,107 * https://pypi.org/simple/z3-solver/ 2021-07-13T17:40:38,107 Fetching project page and analyzing links: https://pypi.org/simple/z3-solver/ 2021-07-13T17:40:38,108 Getting page https://pypi.org/simple/z3-solver/ 2021-07-13T17:40:38,109 Found index url https://pypi.org/simple 2021-07-13T17:40:38,231 Found link https://files.pythonhosted.org/packages/cc/ec/ef81e76628b5f04cba2f307009a0a508452884498245f523ea79e8ef4d37/z3-solver-4.4.2.1.tar.gz#sha256=7e7a08e643cd93ee08ee6f00aed748d74c8cb996fad4638913312c46ea319015 (from https://pypi.org/simple/z3-solver/), version: 4.4.2.1 2021-07-13T17:40:38,232 Found link https://files.pythonhosted.org/packages/68/1f/b16fefbefccae7cb0766515af0bfc12490abb10d2ca0744892292fbaf756/z3-solver-4.4.2.1.post1.tar.gz#sha256=ffd21e0e0393cb6b102ab061e3d75f3ba2de722b70b9c7c81d775a9839663b86 (from https://pypi.org/simple/z3-solver/), version: 4.4.2.1.post1 2021-07-13T17:40:38,249 Skipping link: none of the wheel's tags (py2-none-manylinux1_i686) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/88/9d/47fb59e07614c5ca3d7e4e22a396dd07a831239820823a06a397d7234c85/z3_solver-4.4.2.1.post1-py2-none-manylinux1_i686.whl#sha256=9551c2bb109f6726f3406ab9562a6b47175b7275fa89833f932e41040274db2e (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,250 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/9e/ed/69f204d08172645cb001ffbd24fd981a39e1d7b5929493cf3d6561b5ca4e/z3_solver-4.4.2.1.post1-py2-none-manylinux1_x86_64.whl#sha256=892d41104d0fcf661a299942f6e7035952107b8b367bc9e695f91ca40d2adba5 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,250 Found link https://files.pythonhosted.org/packages/3f/b0/d385c4dd6cf08903ca861347b190ae7fd8555f60b737a124384c5b22b2f5/z3-solver-4.5.1.0.tar.gz#sha256=083cbc1bb05be9d16c92a64a88335d7c9bb82fd16b8116b591b1583a38327288 (from https://pypi.org/simple/z3-solver/), version: 4.5.1.0 2021-07-13T17:40:38,251 Skipping link: none of the wheel's tags (py2-none-manylinux1_i686) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/c2/f7/bf45195ad37494b3a863a9337df807656a58439715e4d37e1bbf43ff35a3/z3_solver-4.5.1.0-py2-none-manylinux1_i686.whl#sha256=3c298be4fe91a11ae10155ba26f5ccfbe31123bc09b6b6428bbe540881d7e122 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,251 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/68/57/1c8f0f17045b45a78699aadf0fb2e0fe390cc8b27e591ef74f5221b8d566/z3_solver-4.5.1.0-py2-none-manylinux1_x86_64.whl#sha256=7ec108df7f160923f5b14bb40baa2a686b1403c1711993bcd0e4d37355732fb7 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,252 Skipping link: none of the wheel's tags (py2-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/84/75/bf4ee8f4cd2bc9236646076aa29b569552ff7703448a68a7f03c719c6c1b/z3_solver-4.5.1.0-py2-none-win32.whl#sha256=a365a09f9dcd5ada579a3de5e01ff0c0a6dddae0e06fb0cc9eb112309b090e98 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,252 Skipping link: none of the wheel's tags (py2-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/63/d4/0099b59f054fecad8338fd666e7b75b252b9a546bdd2e7564018e8a97801/z3_solver-4.5.1.0-py2-none-win_amd64.whl#sha256=3c1623cba735873e5e5ff78316a0e830782707be9929b4a76c65360a4a3dac7e (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,252 Found link https://files.pythonhosted.org/packages/14/6f/c190f4c959775d5add4b85d6deee938a471d3e1705b5435f01e544a67cbc/z3-solver-4.5.1.0.post1.tar.gz#sha256=899fad5108911e5285312140f5019f8f298588fb01a25d4fc70e833de2566fe5 (from https://pypi.org/simple/z3-solver/), version: 4.5.1.0.post1 2021-07-13T17:40:38,253 Skipping link: none of the wheel's tags (py2-none-manylinux1_i686) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/b1/31/a1a2f764ee0c3b315a17442550cd78a7515875b5931a1a381b2f477b5097/z3_solver-4.5.1.0.post1-py2-none-manylinux1_i686.whl#sha256=0c7cfc0d60750e68829bf3515fe33575b1a13d5060be1f6a6832f5561b311821 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,253 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/cb/80/feb59907c7b9eb82c408ac5b176ab354f7af6860b27834470bb0193dd899/z3_solver-4.5.1.0.post1-py2-none-manylinux1_x86_64.whl#sha256=22428685e4580d9618293b46ce54b067e8d3cd94e231d3ef4a0a0d9bbacd80c2 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,254 Found link https://files.pythonhosted.org/packages/23/40/e2340141ac1b374b3e7cc641c66ade04290676662bc80e1f40281d225b57/z3-solver-4.5.1.0.post2.tar.gz#sha256=c802dbe5368743dd30dd2a684c15b83b17c3c95df54b66f97611a5988ae0f696 (from https://pypi.org/simple/z3-solver/), version: 4.5.1.0.post2 2021-07-13T17:40:38,254 Skipping link: none of the wheel's tags (py2-none-manylinux1_i686) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/06/b8/0d9b192d58c74012243d08aeb85a9f85eb0e7938e3bfb5740e43cf285972/z3_solver-4.5.1.0.post2-py2-none-manylinux1_i686.whl#sha256=e41001b7f43ecb9eb9bedf6762bd0e002561590487cc78c0b48f608a85ce02ac (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,255 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/e4/31/4d618b333be647c82adbcd9d3caf8d2d219ec1cd3781e3be6b70bc41fb88/z3_solver-4.5.1.0.post2-py2-none-manylinux1_x86_64.whl#sha256=6b10b317f056890a341304071fb3ab220f0adb2c87439a04eba9e69028a7e3ff (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,255 Skipping link: none of the wheel's tags (py2-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/3c/a8/51deb15e44e4de284a928f2af93b7ccbe2e2a5aae6594913b18d0d599089/z3_solver-4.5.1.0.post2-py2-none-win32.whl#sha256=c185d05d236c6c9756e914756c73f797cb618d81b42e694166639cce5bcfdb1f (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,256 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/9a/df/8c056f4f1f2ba1005b10dc2ddc4fa42e9204542d5f3c67cb3582cb294955/z3_solver-4.5.1.0.post2-py2.py3-none-manylinux1_x86_64.whl#sha256=cf57c53f1e366f3f6bc806fd83ad288b9c82ee8d2bbdfdc64d53767aaf500209 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,256 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/59/68/0ddc2a5a78f31cee69545f1ea04f6d74c0ede04f8e916133a4842f0c8291/z3_solver-4.5.1.0.post2-py2.py3-none-win32.whl#sha256=474a22a1c6b26a89fc0fe563a9e0738bf1ff6b6f645f3b1d7a4beda18b3f44bc (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,257 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/68/76/6f79b1af5de0e41765c9bd9a9d9ca955e3f4c3343b021460ee4cf8c0e602/z3_solver-4.5.1.0.post2-py2.py3-none-win_amd64.whl#sha256=f472f1d0d04856cfaf15d0ebab5ff39b2b1bc09b2f4d2119c0ba0540121b5265 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,257 Found link https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz#sha256=956f2dca9c527a59470c783c18041421da3b0a430f8902de6cd8cded83209d3d (from https://pypi.org/simple/z3-solver/), version: 4.8.0.0.post1 2021-07-13T17:40:38,257 Skipping link: none of the wheel's tags (py2-none-manylinux1_i686, py3-none-manylinux1_i686) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/51/89/5cc526a806e6c33b40f7ed88aa4d1b5dc4774bd9857379e671b52e53f3cd/z3_solver-4.8.0.0.post1-py2.py3-none-manylinux1_i686.whl#sha256=a28e4a7051592bfd9c617c7357962a2f5f58caff44eda8ab080ff69db10a6ca7 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,258 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/df/3a/c31287d0520bd288cccd336618fae9271b3c4ac22efb360eaa0c533f5db5/z3_solver-4.8.0.0.post1-py2.py3-none-manylinux1_x86_64.whl#sha256=24ec5a60b07abbc594d7bed0bd186942b862518caa8b40361e3207700ddfa323 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,258 Found link https://files.pythonhosted.org/packages/85/2d/148dcce994b2c0fe4a8f45733af1dd49e9bf208539dac04efc3f0c3b9baf/z3-solver-4.8.5.0.tar.gz#sha256=f2768020251c98fb29be68c05b1c92694b601de6b4b83519492e56badb85ee62 (from https://pypi.org/simple/z3-solver/), version: 4.8.5.0 2021-07-13T17:40:38,259 Skipping link: none of the wheel's tags (py2-none-manylinux1_i686, py3-none-manylinux1_i686) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/42/95/2b9919263e1e04115258cf424d2c88cb3c5e20d9d460d86a2b9a63fcfdd6/z3_solver-4.8.5.0-py2.py3-none-manylinux1_i686.whl#sha256=f24b3bb9cdc6891db337860aca51bc5d0f9492035955563f2ce27e9bbf59b366 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,259 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/73/ed/faeba7188a4316727d351e36bf0bb342335028308bcd168c8c740dfb2009/z3_solver-4.8.5.0-py2.py3-none-manylinux1_x86_64.whl#sha256=6dada60c4166a00891eb69e9c49872b004a464269d82b9ce2ac2300572e77f8c (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,260 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/32/ae/144284f7df92c740c225f73b2a664a31b16e714fae00e155b38ba70273b6/z3_solver-4.8.5.0-py2.py3-none-win32.whl#sha256=ed6ad3e82ff96022e069eb67b24bbcb9fe743f0bd796b3402fb8d865ebac1ab2 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,260 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/2b/60/891a0ed729907891d1fcbea4ad9767ad1479f34181e830cee66bb1b82281/z3_solver-4.8.5.0-py2.py3-none-win_amd64.whl#sha256=92b01ef0b852a5e8aa603cac65b95d02a2cc21fbbd0d4709d9612e8827d008be (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,260 Found link https://files.pythonhosted.org/packages/7c/65/2656e6157f921cb3b28999d2441997d069f6e94b9e077a614064702f09df/z3-solver-4.8.6.0.tar.gz#sha256=0b8fba2e7568a42d17afa475b62e3290bd2f3397e6080dc4435eae6c11ae15bb (from https://pypi.org/simple/z3-solver/), version: 4.8.6.0 2021-07-13T17:40:38,261 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/de/f5/b9e2662687808f4d2a881027e3c245f1730a76829894bd17a95564f56c1a/z3_solver-4.8.6.0-py2.py3-none-manylinux1_x86_64.whl#sha256=9c9db35c6975532413cc19164566bdc956128689cc2a19fdc8fd9a65abd71fa9 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,262 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/55/68/5fccfcc2ef13197fc76e3eaf0cfe32c1d929e99affe72055b4fa84382408/z3_solver-4.8.6.0-py2.py3-none-win32.whl#sha256=54ee96f09d3c5fb0129f9ca105ff5500f32bbdfebf982e89dc24eb6f3a7d3c31 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,262 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/18/e1/53784adbeb6333b0e6ab96376e0acb27814c642d40c103ffae031b410205/z3_solver-4.8.6.0-py2.py3-none-win_amd64.whl#sha256=f572125dedfe5a746823fd72eabb29889d3e751254f4ec31e54cba13bf63317c (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,262 Found link https://files.pythonhosted.org/packages/a2/e5/56a03507ba31f4c1ce63ec34d122d58f2be7bd216e462b6abf2c44e53b07/z3-solver-4.8.7.0.tar.gz#sha256=a9bf7b9fab66ca652675bf8d4b67d1a9301a017d1eebe118d05bf7200541b62c (from https://pypi.org/simple/z3-solver/), version: 4.8.7.0 2021-07-13T17:40:38,263 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/a3/75/3a1d4c044082baf017e08df32c39974ec34fcfa068b6a7b0cd4bfbf1ccfb/z3_solver-4.8.7.0-py2.py3-none-manylinux1_x86_64.whl#sha256=ecdf7cb3df9661bdc8953a552a7c09e1c0b7f4195e5eeeab8ff90f672490bf3f (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,263 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/0d/f1/77cc1b58c634f77773b5f30582632a856a820b38f1fb3642e6711cb229bd/z3_solver-4.8.7.0-py2.py3-none-win32.whl#sha256=922158453b235ad6c3d45d9c8ed2b427c65d077d65ddcef3cc65f6a4ac7696ac (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,264 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/b1/95/25a5023d32e87f0c7e19ed38bfbd0df7c07bb87e1ef7f55d91425f53be5a/z3_solver-4.8.7.0-py2.py3-none-win_amd64.whl#sha256=7e04e1b56a100f4fef79c2f20be0aeb6dac4efc6ab66ba5bac41dbe6820cbd7e (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,264 Found link https://files.pythonhosted.org/packages/cd/78/4e1d0e2badfa2153088db1f410bb84e3c49e56637bf96fa86b45454351c4/z3-solver-4.8.8.0.tar.gz#sha256=94d994466db9fda7c04630124aac3bb7f0f60328346d982afd3b017e8defba0f (from https://pypi.org/simple/z3-solver/), version: 4.8.8.0 2021-07-13T17:40:38,265 Skipping link: none of the wheel's tags (py2-none-macosx_10_14_x86_64, py3-none-macosx_10_14_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/40/9f/6ba0bb38709cf16dc13e877ef6ea8a59147478e4f036a0d60475b7997b3d/z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl#sha256=c25bb31aa8d6de7f27701b0fe56c99433304e0c33fed43bcbfbf34d641fbe9c5 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,265 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/d9/c8/96c9a89e4f5e101404ac19a1da17eed972f27d22a8a0ec3e441234eb513f/z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl#sha256=605da13b9699d8472284833578281be0650f6f2ca194efe2cde78f2a44710e40 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,265 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/c6/2c/79cf97c941042f663c6bf69d89ddd4c6bb50d3ce0c921b2fdfbfb1dd5124/z3_solver-4.8.8.0-py2.py3-none-win32.whl#sha256=e8658f5cafa2c7e8239c5b9d80fa39ee0137d876fd084000c0f1cb76256df989 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,266 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/5a/ae/3af5306495eabf37a6af496a3e7e01a9e7be624e8e1b243f7b0b034e9d3b/z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl#sha256=3f19c15d8f8f16ef1a257d1a58a0f0d6d3f2f652a9d3b48f507045bd336f97a8 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,266 Found link https://files.pythonhosted.org/packages/3f/aa/097083b9de080f85f8acb85926d49857ecd85636d65594e2daced3abe5fd/z3-solver-4.8.9.0.tar.gz#sha256=504d4154ebd38533fc1751a0e04878482757044cebf512243f6da8624f484b70 (from https://pypi.org/simple/z3-solver/), version: 4.8.9.0 2021-07-13T17:40:38,267 Skipping link: none of the wheel's tags (py2-none-macosx_10_14_x86_64, py3-none-macosx_10_14_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/ef/b0/0cfb0591d0e8af8f1a0feb344f54f4efa272aad7da3caa9a9c4d2f6fc09d/z3_solver-4.8.9.0-py2.py3-none-macosx_10_14_x86_64.whl#sha256=91d87f5448aed95ecc410c5c8ead590c4581c3679b7fab1a61792087c5195da6 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,267 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/6d/51/86d4d708593b77dd43e1154f25b107d9d9a3300da49759c88254192a0a04/z3_solver-4.8.9.0-py2.py3-none-manylinux1_x86_64.whl#sha256=0ec84c898b240810f927a28bfdd350ff3c485b498c6ec4a0d62911f3d51cfacb (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,268 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/8d/a3/f5f5b74120eccce6d0dc80c20f727af35b929df7ca41a0a67b4268a87dd5/z3_solver-4.8.9.0-py2.py3-none-win32.whl#sha256=9a20e7bafb82b40b87128086d29b54eef6634657df0adb96b79811225e1eab84 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,268 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/10/3a/7a39c4938ecd87395558fd4e059315c1df3ee20992689bbb2ae4ae53bb1e/z3_solver-4.8.9.0-py2.py3-none-win_amd64.whl#sha256=33d6793784b0386b3e42547d66dc89d8e959201e4b7eec8d286871575a1b4224 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,268 Found link https://files.pythonhosted.org/packages/32/28/e91c4a59fd7ec5dfaf0df978b114a499ce10cc0ac03ecb3a11bcd4d09aa9/z3-solver-4.8.10.0.tar.gz#sha256=cd022a66524685bdd8b265027bd22f24c35f8db29a4287d005e0005757ffdc21 (from https://pypi.org/simple/z3-solver/), version: 4.8.10.0 2021-07-13T17:40:38,269 Skipping link: none of the wheel's tags (py2-none-macosx_10_15_x86_64, py3-none-macosx_10_15_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/09/3c/178815b0a212e568129368db85856503c21d8916e935d118685d82f9be85/z3_solver-4.8.10.0-py2.py3-none-macosx_10_15_x86_64.whl#sha256=dca0a50817d25ebd021ddc55cdebb1bb359f8424266d2384935ded330890893a (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,269 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/fa/ef/d972d512ac4fb56d7fb4b93dfc4dc16450b68328e359b67edd70c77f8e9b/z3_solver-4.8.10.0-py2.py3-none-manylinux1_x86_64.whl#sha256=1dd6b459d512a5644b38a0d55c915cdb3269b6d52b36ea14d9b32ce1d1a85d9a (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,270 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/9a/40/adba09dfda3f05d244933f344ecbcc5c78a80b5eac4c23e96420c4277cfa/z3_solver-4.8.10.0-py2.py3-none-win32.whl#sha256=6fb188b34847a958e82efbe1a7a354675b2929145c6dcb45a1256aaeb9c49414 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,270 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/07/01/948bdd8fccbc4a3b01b8470ca1bc8e1768a16dc94d0dac2f678243cdfa1a/z3_solver-4.8.10.0-py2.py3-none-win_amd64.whl#sha256=a0bbbc1a02b25db3b824ab5e839b2c0b0cc2130da914f3ba09b7b38d05e1827c (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,271 Found link https://files.pythonhosted.org/packages/d6/86/a2d6ccfd2a9c13fa53b000de4870656a67799cbcd44870586bb49afa5ca0/z3-solver-4.8.11.0.tar.gz#sha256=3621f464baf48aabbf74bcb85cd97ef46e928af3ca3a28e27d6816601e3b7290 (from https://pypi.org/simple/z3-solver/), version: 4.8.11.0 2021-07-13T17:40:38,271 Skipping link: none of the wheel's tags (py2-none-macosx_10_15_x86_64, py3-none-macosx_10_15_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/67/0c/9d9b7e2e61701780295c2c1be4c93d4d57c64f2f6f4f45984822eb3ef1b0/z3_solver-4.8.11.0-py2.py3-none-macosx_10_15_x86_64.whl#sha256=85fcfe7dc5b1416c9f486cf383fdb0bfa0783b82b4a1527df7c5ffd24eb595bd (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,272 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/04/35/f355c26853fe246ae58e6521296445cea0ef128ccbe4c6f39969d4bb6a18/z3_solver-4.8.11.0-py2.py3-none-manylinux1_x86_64.whl#sha256=1a1d91ff3bf689b87377622f9f09ffba4d35f9381369d4c4e9c5b4968047830a (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,272 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/e5/31/a4d793b0519df037f959980ed9a10ab1a04cd0a1e768daa9cc5465e99f22/z3_solver-4.8.11.0-py2.py3-none-win32.whl#sha256=30122f23d8572fb8a79a86906cbe29e9d801c718ea1a0ed5f444fbb9fe65142f (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,273 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/fa/dd/7f0eddd5c90c18403512b9d3e507bcb75c4db691291f1e1f3f5ba46fa91b/z3_solver-4.8.11.0-py2.py3-none-win_amd64.whl#sha256=73dee5813e034124db91c98e5c6015c629d23bf1bc0d49948a05ad9576d56046 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,273 Found link https://files.pythonhosted.org/packages/1f/29/757f0266841308a7d68daf79ceb013e71fce31e24843ef5f6cec370fb652/z3-solver-4.8.12.0.tar.gz#sha256=48f66e52d5b267e6df6fab9fccdefdf7e09a846d9e309bc2dccff983c27da612 (from https://pypi.org/simple/z3-solver/), version: 4.8.12.0 2021-07-13T17:40:38,273 Skipping link: none of the wheel's tags (py2-none-macosx_10_15_x86_64, py3-none-macosx_10_15_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/0d/b7/8f456bac1d87d91a6365832fb03e0e5d9b92d0442dc6f4bb01722ab9deca/z3_solver-4.8.12.0-py2.py3-none-macosx_10_15_x86_64.whl#sha256=04f81a3a8705e3adaa348b945fc4a2e2981e0a718315760e774b7c5b0efe2d3a (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,274 Skipping link: none of the wheel's tags (py2-none-manylinux1_x86_64, py3-none-manylinux1_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/4c/1d/9e8006f425e1ac2b8eeb225f208721e82201db07ad173f31543697f8a544/z3_solver-4.8.12.0-py2.py3-none-manylinux1_x86_64.whl#sha256=ffdbb89bc30befcef9b5cfb118d690b452320dccd44a6ae2f7b81caa369de042 (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,274 Skipping link: none of the wheel's tags (py2-none-win32, py3-none-win32) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/06/0f/9ff66f55446ca4587fa44af53be62aea479ddd6522a57e05fb139a539091/z3_solver-4.8.12.0-py2.py3-none-win32.whl#sha256=3efe49975945f4204ac13e1bd66555f4fab50906e476a927f4483ba9b61c38ef (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,275 Skipping link: none of the wheel's tags (py2-none-win_amd64, py3-none-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/48/24/a5d90482f4e5eacadec5de5acf2dbfe41fe50c46a4b73a66cfaa7b3f9d5e/z3_solver-4.8.12.0-py2.py3-none-win_amd64.whl#sha256=2b8af223174b8229ca334637022b56c8f7545c6c04021b63d98beb83e757819c (from https://pypi.org/simple/z3-solver/) 2021-07-13T17:40:38,275 Skipping link: not a file: https://pypi.org/simple/z3-solver/ 2021-07-13T17:40:38,278 Given no hashes to check 1 links for project 'z3-solver': discarding no candidates 2021-07-13T17:40:38,297 Collecting z3-solver==4.8.0.0.post1 2021-07-13T17:40:38,299 Created temporary directory: /tmp/pip-unpack-wxct7qlh 2021-07-13T17:40:38,821 Downloading z3-solver-4.8.0.0.post1.tar.gz (4.1 MB) 2021-07-13T17:40:44,229 Added z3-solver==4.8.0.0.post1 from https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz#sha256=956f2dca9c527a59470c783c18041421da3b0a430f8902de6cd8cded83209d3d to build tracker '/tmp/pip-req-tracker-7g5yl3g6' 2021-07-13T17:40:44,230 Running setup.py (path:/tmp/pip-wheel-vkqgk7pf/z3-solver_b9394c2809134f5583a5fd6cccc1adde/setup.py) egg_info for package z3-solver 2021-07-13T17:40:44,231 Created temporary directory: /tmp/pip-pip-egg-info-u7p7v7e0 2021-07-13T17:40:44,231 Running command python setup.py egg_info 2021-07-13T17:40:45,345 running egg_info 2021-07-13T17:40:45,347 creating /tmp/pip-pip-egg-info-u7p7v7e0/z3_solver.egg-info 2021-07-13T17:40:45,349 writing /tmp/pip-pip-egg-info-u7p7v7e0/z3_solver.egg-info/PKG-INFO 2021-07-13T17:40:45,350 writing dependency_links to /tmp/pip-pip-egg-info-u7p7v7e0/z3_solver.egg-info/dependency_links.txt 2021-07-13T17:40:45,352 writing top-level names to /tmp/pip-pip-egg-info-u7p7v7e0/z3_solver.egg-info/top_level.txt 2021-07-13T17:40:45,354 writing manifest file '/tmp/pip-pip-egg-info-u7p7v7e0/z3_solver.egg-info/SOURCES.txt' 2021-07-13T17:40:45,496 reading manifest file '/tmp/pip-pip-egg-info-u7p7v7e0/z3_solver.egg-info/SOURCES.txt' 2021-07-13T17:40:45,499 writing manifest file '/tmp/pip-pip-egg-info-u7p7v7e0/z3_solver.egg-info/SOURCES.txt' 2021-07-13T17:40:45,574 WARNING: Requested z3-solver==4.8.0.0.post1 from https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz#sha256=956f2dca9c527a59470c783c18041421da3b0a430f8902de6cd8cded83209d3d, but installing version 4.8.0.0 2021-07-13T17:40:45,576 Removed z3-solver==4.8.0.0.post1 from https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz#sha256=956f2dca9c527a59470c783c18041421da3b0a430f8902de6cd8cded83209d3d from build tracker '/tmp/pip-req-tracker-7g5yl3g6' 2021-07-13T17:40:45,577 WARNING: Discarding https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz#sha256=956f2dca9c527a59470c783c18041421da3b0a430f8902de6cd8cded83209d3d (from https://pypi.org/simple/z3-solver/). Requested z3-solver==4.8.0.0.post1 from https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz#sha256=956f2dca9c527a59470c783c18041421da3b0a430f8902de6cd8cded83209d3d has inconsistent version: filename has '4.8.0.0.post1', but metadata has '4.8.0.0' 2021-07-13T17:40:45,579 ERROR: Could not find a version that satisfies the requirement z3-solver==4.8.0.0.post1 (from versions: 4.4.2.1, 4.4.2.1.post1, 4.5.1.0, 4.5.1.0.post1, 4.5.1.0.post2, 4.8.0.0.post1, 4.8.5.0, 4.8.6.0, 4.8.7.0, 4.8.8.0, 4.8.9.0, 4.8.10.0, 4.8.11.0, 4.8.12.0) 2021-07-13T17:40:45,579 ERROR: No matching distribution found for z3-solver==4.8.0.0.post1 2021-07-13T17:40:45,579 Exception information: 2021-07-13T17:40:45,579 Traceback (most recent call last): 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_vendor/resolvelib/resolvers.py", line 341, in resolve 2021-07-13T17:40:45,579 name, crit = self._merge_into_criterion(r, parent=None) 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_vendor/resolvelib/resolvers.py", line 173, in _merge_into_criterion 2021-07-13T17:40:45,579 raise RequirementsConflicted(criterion) 2021-07-13T17:40:45,579 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('z3-solver==4.8.0.0.post1') 2021-07-13T17:40:45,579 2021-07-13T17:40:45,579 During handling of the above exception, another exception occurred: 2021-07-13T17:40:45,579 2021-07-13T17:40:45,579 Traceback (most recent call last): 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 127, in resolve 2021-07-13T17:40:45,579 result = self._result = resolver.resolve( 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_vendor/resolvelib/resolvers.py", line 473, in resolve 2021-07-13T17:40:45,579 state = resolution.resolve(requirements, max_rounds=max_rounds) 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_vendor/resolvelib/resolvers.py", line 343, in resolve 2021-07-13T17:40:45,579 raise ResolutionImpossible(e.criterion.information) 2021-07-13T17:40:45,579 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('z3-solver==4.8.0.0.post1'), parent=None)] 2021-07-13T17:40:45,579 2021-07-13T17:40:45,579 The above exception was the direct cause of the following exception: 2021-07-13T17:40:45,579 2021-07-13T17:40:45,579 Traceback (most recent call last): 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_internal/cli/base_command.py", line 180, in _main 2021-07-13T17:40:45,579 status = self.run(options, args) 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_internal/cli/req_command.py", line 205, in wrapper 2021-07-13T17:40:45,579 return func(self, options, args) 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_internal/commands/wheel.py", line 142, in run 2021-07-13T17:40:45,579 requirement_set = resolver.resolve( 2021-07-13T17:40:45,579 File "/home/piwheels/.local/lib/python3.9/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 136, in resolve 2021-07-13T17:40:45,579 raise error from e 2021-07-13T17:40:45,579 pip._internal.exceptions.DistributionNotFound: No matching distribution found for z3-solver==4.8.0.0.post1 2021-07-13T17:40:45,583 Removed build tracker: '/tmp/pip-req-tracker-7g5yl3g6'