2021-07-07T18:39:35,979 DEPRECATION: Python 3.5 reached the end of its life on September 13th, 2020. Please upgrade your Python as Python 3.5 is no longer maintained. pip 21.0 will drop support for Python 3.5 in January 2021. pip 21.0 will remove support for this functionality. 2021-07-07T18:39:36,691 Created temporary directory: /tmp/pip-ephem-wheel-cache-phqxa2av 2021-07-07T18:39:36,696 Created temporary directory: /tmp/pip-req-tracker-levqq_dp 2021-07-07T18:39:36,697 Initialized build tracking at /tmp/pip-req-tracker-levqq_dp 2021-07-07T18:39:36,697 Created build tracker: /tmp/pip-req-tracker-levqq_dp 2021-07-07T18:39:36,698 Entered build tracker: /tmp/pip-req-tracker-levqq_dp 2021-07-07T18:39:36,699 Created temporary directory: /tmp/pip-wheel-vvx5iz2z 2021-07-07T18:39:36,762 1 location(s) to search for versions of pysmt: 2021-07-07T18:39:36,762 * https://pypi.org/simple/pysmt/ 2021-07-07T18:39:36,763 Fetching project page and analyzing links: https://pypi.org/simple/pysmt/ 2021-07-07T18:39:36,765 Getting page https://pypi.org/simple/pysmt/ 2021-07-07T18:39:36,769 Found index url https://pypi.org/simple 2021-07-07T18:39:37,172 Found link https://files.pythonhosted.org/packages/37/35/8253132ae5a8030ebda4f71a33fb6d7e87c21a81635925409f3fe20c33a7/PySMT-0.2.2.tar.gz#sha256=77aa93b538b57a93db71ee118b7f1f9e562be2d7ffd27d9de83fa7a97c624357 (from https://pypi.org/simple/pysmt/), version: 0.2.2 2021-07-07T18:39:37,173 Found link https://files.pythonhosted.org/packages/53/8f/e4a70f30308ae302f327b466037dadbface2545512b3d480daa0153ba792/PySMT-0.2.3.dev.tar.gz#sha256=ed3e8f3e70ab1fc3da68961f7f445a773528af289beb5d6f14cead082d70927f (from https://pypi.org/simple/pysmt/), version: 0.2.3.dev 2021-07-07T18:39:37,174 Found link https://files.pythonhosted.org/packages/0b/03/7ac2e997a10404564ae71509e6b2430a5934a675552378ad0bb76b566253/PySMT-0.2.3.tar.gz#sha256=7d3ddccb259e6c3aba2108084b031c60ba955e67c41a6d913d50a95b84e6adaa (from https://pypi.org/simple/pysmt/), version: 0.2.3 2021-07-07T18:39:37,175 Found link https://files.pythonhosted.org/packages/9b/aa/74ced527cf802c747b79f72c30cb481247db7d5d09c410011330ab9ade9d/PySMT-0.2.4.dev.tar.gz#sha256=871bd6e25a9486d773df71197063c7c9a4f253869579f0aef93da5eabe515628 (from https://pypi.org/simple/pysmt/), version: 0.2.4.dev 2021-07-07T18:39:37,176 Found link https://files.pythonhosted.org/packages/69/b6/95c8abed879cf272594ccdc2e3941684dd3d71c40fd44de9fad87082cc88/PySMT-0.2.4.tar.gz#sha256=f90503f5d9a3aa7db0d8a12589682e4c350a98d79b132761553636a48eccacff (from https://pypi.org/simple/pysmt/), version: 0.2.4 2021-07-07T18:39:37,177 Found link https://files.pythonhosted.org/packages/88/41/722a51aa1520af14d61c8f1215c3281f032aa62681bd545837f1c6c27929/PySMT-0.2.5.dev1.tar.gz#sha256=e3da2b9035ba1f4544fa1415a8fe0c89035d0717f4a1d00b29bc856aff130407 (from https://pypi.org/simple/pysmt/), version: 0.2.5.dev1 2021-07-07T18:39:37,178 Found link https://files.pythonhosted.org/packages/d5/fd/25c0b454d96a2749d7543e1de11acf57439d9f20cbd33b539f0683a5b163/PySMT-0.3.0.dev.tar.gz#sha256=19183365efaf566be936e166b9fec6791c7992f5471cb8fb2b8a8371fe9e7a9c (from https://pypi.org/simple/pysmt/), version: 0.3.0.dev 2021-07-07T18:39:37,179 Found link https://files.pythonhosted.org/packages/38/20/b60057f4b275a71c0e82ee5ef03e9bb9fbb9e5d69cd95b983b40e6ce8143/PySMT-0.3.0.tar.gz#sha256=00ac5991f5fcc60491ed56668a2dbcf02106a43ef2d27a8b5143d54358befb0f (from https://pypi.org/simple/pysmt/), version: 0.3.0 2021-07-07T18:39:37,180 Found link https://files.pythonhosted.org/packages/4d/62/ea47e58dcb32b6c2fc1147c0e07cfcf2aece4709eb292df79557f48db8ad/PySMT-0.4.0.tar.gz#sha256=7d4131ccd198957f3519b5af2923310fac3919b17f739d4f0001e0fdadc05e88 (from https://pypi.org/simple/pysmt/), version: 0.4.0 2021-07-07T18:39:37,181 Found link https://files.pythonhosted.org/packages/3c/9e/4337b2cfaa2b81c830426413004469a8b5fecd644e3a1d50fa982ad8bb32/PySMT-0.4.1.tar.gz#sha256=adeaff687801b395e5d195671c075a3494e86defe5767af9f3070c1f4f0b7615 (from https://pypi.org/simple/pysmt/), version: 0.4.1 2021-07-07T18:39:37,182 Found link https://files.pythonhosted.org/packages/fc/28/26426e1eec878c3de34effca9baa1f16970a68bc8067d061dc124eecde0e/PySMT-0.4.2.tar.gz#sha256=c1772728cd81d9f65f370ba42a17e082289933d793ffa092d8628e5b09fed622 (from https://pypi.org/simple/pysmt/), version: 0.4.2 2021-07-07T18:39:37,183 Found link https://files.pythonhosted.org/packages/17/da/4aff3cd4b3bde67c50f57b0673a2fb5e87a387247fb4a89876a1980fa78e/PySMT-0.4.3.tar.gz#sha256=45f1af3178fd5299dfeeba0dd3e8163db142cc3d2b8d0a9dab9f3e547cb13cc9 (from https://pypi.org/simple/pysmt/), version: 0.4.3 2021-07-07T18:39:37,183 Found link https://files.pythonhosted.org/packages/cd/82/79497d47ed4ba68c9b0c27198f977775b903f0cf2888d54c7ae7b3526185/PySMT-0.4.4.tar.gz#sha256=291fe7031b18e1a46ef3e2c6cad37bd0f070cd7a9ffc8536960546942d053593 (from https://pypi.org/simple/pysmt/), version: 0.4.4 2021-07-07T18:39:37,184 Found link https://files.pythonhosted.org/packages/6a/c7/315ea9758cdb49c27bd52272a82cd177323f92428aaad56c73a029b62a3b/PySMT-0.5.0.tar.gz#sha256=52bfea0cf0fac6bb732b67559c6bb7beca4b6746eb16f06f4cd017700cc7484b (from https://pypi.org/simple/pysmt/), version: 0.5.0 2021-07-07T18:39:37,185 Found link https://files.pythonhosted.org/packages/b4/80/49b4264803befb379cbb764c1720c69e6065b490b381ba2ef7eef68fba23/PySMT-0.5.1.tar.gz#sha256=31c9887478fdc4c26f8770935080b8d0175d1272ea38a27c609eead4b2f7901b (from https://pypi.org/simple/pysmt/), version: 0.5.1 2021-07-07T18:39:37,186 Found link https://files.pythonhosted.org/packages/07/4e/8a2a0d10b7666245ea8cf622e638137815fe5cbfe84b80d73fb409faa608/PySMT-0.6.0.tar.gz#sha256=426cbc48b3e60b76a1d3d6819e82ec9d28a775ca908f84e71674c65961235c87 (from https://pypi.org/simple/pysmt/), version: 0.6.0 2021-07-07T18:39:37,187 Found link https://files.pythonhosted.org/packages/27/2b/2a1b3bfcac68f5916ea9112e729c66ceb7902e97ed1de4c1ed5a53f0d739/PySMT-0.6.1.tar.gz#sha256=bfc4cd96926d785c18b1cab6aec156b08c87f8b5d5b96d4b8432d3226a356bac (from https://pypi.org/simple/pysmt/), version: 0.6.1 2021-07-07T18:39:37,188 Found link https://files.pythonhosted.org/packages/a2/5c/26cd1faa0d1f96dc0cddd299646eeff5dd631fd176a0c7bc7ca63e547865/PySMT-0.7.0.tar.gz#sha256=b47d22f18852127ad26d0ef99fbc0e3879391b0cafe00ca47bf32d04207e4642 (from https://pypi.org/simple/pysmt/), version: 0.7.0 2021-07-07T18:39:37,189 Found link https://files.pythonhosted.org/packages/64/ed/f04e47a6505bbcdc2531dfac71b7227f5299b65e93f15f819c7341f67e92/PySMT-0.7.5.tar.gz#sha256=48c23710e85195918b87b4ce12b109875ed118c47d9371e738ffa17b4aaa7dd5 (from https://pypi.org/simple/pysmt/), version: 0.7.5 2021-07-07T18:39:37,190 Found link https://files.pythonhosted.org/packages/dd/93/a3e2e53c71c8a5713ba505d47e45c99e614f026fc26257ba28dc5130a3b2/PySMT-0.8.0.tar.gz#sha256=6ccac89f22052f0b12f3847382efe94d0fbda95f33978af29f4f3aee5ef0e270 (from https://pypi.org/simple/pysmt/), version: 0.8.0 2021-07-07T18:39:37,219 Found link https://files.pythonhosted.org/packages/37/36/afc8e35e2048cbfecc86e67330d2cbe1065998ecdf901f33507ab75b8c5a/PySMT-0.8.1.dev54-py2.py3-none-any.whl#sha256=bac01c6accdf5b55c523cbebd07fddc174d36a88aa102887eaff2f896f1d73a2 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev54 2021-07-07T18:39:37,221 Found link https://files.pythonhosted.org/packages/6e/37/20a04bbe04854ce886ea361d6c07ca52ce962d668b4214b3f11a0970bf16/PySMT-0.8.1.dev55-py2.py3-none-any.whl#sha256=8781f9fc19789b341766b059070e9066267b8ec1f7588ffa88caf737b2b42f4b (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev55 2021-07-07T18:39:37,222 Found link https://files.pythonhosted.org/packages/6e/52/3a492eeefd722405ce71fbd668b3b0adb8c231e53c1f3de9389d9d8b9b0f/PySMT-0.8.1.dev57-py2.py3-none-any.whl#sha256=fc4ccc79726038eaf22666ac7167f4d67316f4ebdfb176d209c19c7c0a4448bc (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev57 2021-07-07T18:39:37,224 Found link https://files.pythonhosted.org/packages/f4/aa/a8f0b7942958bb078b3d78e4cd358989a589ee73057cee42633ddcdbbb5f/PySMT-0.8.1.dev59-py2.py3-none-any.whl#sha256=130bb6bcd6521791e9c3b7533e79e396751d180ad918dce4d10b7f4237479ff5 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev59 2021-07-07T18:39:37,225 Found link https://files.pythonhosted.org/packages/93/0f/09641405aa8cf03758f3e0cbfcad1d868fccfc2747a73bb5e3487d659022/PySMT-0.8.1.dev61-py2.py3-none-any.whl#sha256=c22c7b18644d86185793629418c750eeeb92407b64b9927b0eae9594f92abcab (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev61 2021-07-07T18:39:37,227 Found link https://files.pythonhosted.org/packages/2e/58/98607d0e36bef25442a3d6e46080ba6b0f9700706226081d1f9de2567695/PySMT-0.8.1.dev62-py2.py3-none-any.whl#sha256=83a5e28f17377a8d2452201db2bdbbaccd3ef7db0bd4aac952eb06364af3bf9b (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev62 2021-07-07T18:39:37,228 Found link https://files.pythonhosted.org/packages/be/c0/37027ab14e693f2faf2f170fe62582e14d0838935126053fd02cfb91a810/PySMT-0.8.1.dev64-py2.py3-none-any.whl#sha256=17a347df9ccd7c416ea2da6ce549fa6adaecaf5346eade4e156680668e67b6a2 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev64 2021-07-07T18:39:37,229 Found link https://files.pythonhosted.org/packages/91/45/0102517310acf10b7626c70105ea683330e6a7c07e9be62c591683530191/PySMT-0.8.1.dev67-py2.py3-none-any.whl#sha256=ce886d641aedfe99ed085b37d47bc2bb087327a521fcff517fe2d871bdf35eb2 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev67 2021-07-07T18:39:37,231 Found link https://files.pythonhosted.org/packages/1f/db/7aa712972adf87999410899ad32a6c0fa92c97279178fc71dd923e9cbbb4/PySMT-0.8.1.dev77-py2.py3-none-any.whl#sha256=5a7291603e927dd3bdc143f3441f27ee1ce2dc5b30cbeafc7cfd7aef511429fe (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev77 2021-07-07T18:39:37,232 Found link https://files.pythonhosted.org/packages/da/5c/1362cfd450720f4344c22dcb60a779119df8c8080383a3a7d03b364dfaae/PySMT-0.8.1.dev79-py2.py3-none-any.whl#sha256=b249a37f15bc465b531dc0cc3ab1d5ab96aa5182225a55f94222cf29b4b708ee (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev79 2021-07-07T18:39:37,234 Found link https://files.pythonhosted.org/packages/ce/71/1757d4463a08734f3bfa8e6abe5e7091b178e9f6896f93d759cfd986e5ba/PySMT-0.8.1.dev81-py2.py3-none-any.whl#sha256=9512c751ea2ecd19e095548983c96f2e9d5e77581135b97e47099bcf6957dc0a (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev81 2021-07-07T18:39:37,235 Found link https://files.pythonhosted.org/packages/1f/20/41749b34a6d33cac1d2c8d28b87111e53da2946904f930585195f6e7752f/PySMT-0.8.1.dev89-py2.py3-none-any.whl#sha256=4dcc9a414b0921b56c4027e5f535d34fe18dd0459bef9a1339ebcf6eeb5acd26 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev89 2021-07-07T18:39:37,236 Found link https://files.pythonhosted.org/packages/9f/9a/8a8c5282afb3d1a2e2b2398be0905c0ea4d042f980bb43ecb40b9729e416/PySMT-0.8.1.dev90-py2.py3-none-any.whl#sha256=862c6be8c893270b43171de8eb1de45846b47e4eebf17b2d673bc764ca70d61d (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev90 2021-07-07T18:39:37,238 Found link https://files.pythonhosted.org/packages/44/44/3243e7dc59f863308eece522da0ad25444b9fec0f2930f1c4140e4dacc8b/PySMT-0.8.1.dev93-py2.py3-none-any.whl#sha256=1038828b307973c9821be428d0ff94f51554125f8af3324f02f3b7795cd13bec (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev93 2021-07-07T18:39:37,239 Found link https://files.pythonhosted.org/packages/5d/b5/52102337711fd61f0d787f727991cc84fcb855b66bc539367a58aa57d661/PySMT-0.8.1.dev95-py2.py3-none-any.whl#sha256=a1a1a684887e070f99ca46c25071ccd3eb301c3b6f0056b4be63a8fee4ec83ae (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev95 2021-07-07T18:39:37,241 Found link https://files.pythonhosted.org/packages/ae/25/3c2c86c79b2d323620c29a421e1b174485957df8a1d20078832c0d42aa0a/PySMT-0.8.1.dev97-py2.py3-none-any.whl#sha256=c4df28a6ef647cbea759f167bd3cd56fab4c1df8d816da59c73f7d709cde1f42 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev97 2021-07-07T18:39:37,242 Found link https://files.pythonhosted.org/packages/14/87/67eebb631117a92659b0eef3935c4183bf38dfaddfc80e2ddcb46f9788e2/PySMT-0.8.1.dev100-py2.py3-none-any.whl#sha256=83f349fac215ecd7fe779c623dfd63c6967df2f9030813170fa2767072552681 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev100 2021-07-07T18:39:37,244 Found link https://files.pythonhosted.org/packages/2e/9a/e3062b1259f564d96f6fc18afeced26d85b02e33890fd7d05b9d749f481c/PySMT-0.8.1.dev101-py2.py3-none-any.whl#sha256=93c8ee7e5d0afc83a2c5593a0cf1440fe0c74dad5bb0567e710af764618cfd68 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev101 2021-07-07T18:39:37,245 Found link https://files.pythonhosted.org/packages/8b/88/e28d06a94e3307548e2bcef3e8d4100b00d614fc92360e0e13708e3d34ab/PySMT-0.8.1.dev104-py2.py3-none-any.whl#sha256=526c1c276dbd236e2499ed275996fa32f88f9e3e43c9a173128ae7ac457e7743 (from https://pypi.org/simple/pysmt/), version: 0.8.1.dev104 2021-07-07T18:39:37,246 Found link https://files.pythonhosted.org/packages/e0/6e/69ae88f759b3739ac302ab08238f38d01266f43e82b220142835fd608dde/PySMT-0.9.0-py2.py3-none-any.whl#sha256=2b5ca0560eaacf1720d254f7e1f186fe344e3ea12c72e49036c47af2ab1f81ef (from https://pypi.org/simple/pysmt/), version: 0.9.0 2021-07-07T18:39:37,248 Found link https://files.pythonhosted.org/packages/8f/61/e61744d74d0c233c0980cf8cebc854e9ea3849c84c5d145a3ddd3c8e54f0/PySMT-0.9.1.dev1-py2.py3-none-any.whl#sha256=69cdb7ead2e55a92ed07fd34670a133304f8a5689fcf2e9a0eb50169420895ad (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev1 2021-07-07T18:39:37,249 Found link https://files.pythonhosted.org/packages/14/1f/369d6e60bbe6e3aa775db6bad13afaea2913ebf2ed260e13653cf0dae858/PySMT-0.9.1.dev12-py2.py3-none-any.whl#sha256=246371e04b11d8ab2d2933a6e380bf48a0fa2ddb5c2f973b06233dbf90012210 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev12 2021-07-07T18:39:37,251 Found link https://files.pythonhosted.org/packages/01/69/25e48d3f0eda809f458ba18540d3fadb499379feb4900a1a8d616f90daea/PySMT-0.9.1.dev20-py2.py3-none-any.whl#sha256=c5dc99906af6cd161177243ee69850a3243b793a0dd829cc2906275f40162f17 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev20 2021-07-07T18:39:37,252 Found link https://files.pythonhosted.org/packages/7d/fb/c8169f7047121bfd19a000072cd7abf2f9aff72c0427bb0d23a00a670dca/PySMT-0.9.1.dev22-py2.py3-none-any.whl#sha256=10ab15e44a0f8c264a52527af138149094420bf84ae29ba95698ddebb30e06bd (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev22 2021-07-07T18:39:37,253 Found link https://files.pythonhosted.org/packages/8b/49/dadc27ed3fc872423b9cd99bc3ebf992b7100ac4257b5918fb5aa8ff9dcd/PySMT-0.9.1.dev36-py2.py3-none-any.whl#sha256=a3871d1cc2c539ac9fa925864f9483b31a19a02ad3b1ce7998177df33629d460 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev36 2021-07-07T18:39:37,255 Found link https://files.pythonhosted.org/packages/f6/b4/e25768a7057c82d0e9f343e0a5eded41796e458cead92ffd68c265965a3b/PySMT-0.9.1.dev78-py2.py3-none-any.whl#sha256=90fc531a4c86bb2ba38d7af8eeac4bacf8ca5196efbff0eee75c5180c1c2abc5 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev78 2021-07-07T18:39:37,256 Found link https://files.pythonhosted.org/packages/5e/2b/bb56e268cf01367072f057723c6f317397ec4926f1efa461d941bf9a7c6f/PySMT-0.9.1.dev84-py2.py3-none-any.whl#sha256=4b5fb852e719109f8fae2c25665963ce53f3056c6ee4442355962f7e1bc2bc8f (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev84 2021-07-07T18:39:37,258 Found link https://files.pythonhosted.org/packages/82/32/bb26edce06d64131a10ee9bc40befd24e908011bd6695af8ddd0dae767f4/PySMT-0.9.1.dev86-py2.py3-none-any.whl#sha256=74f33609dd246e629c7ed8d37af46e15c21bda8c3e8f720d00c5882ebed33f96 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev86 2021-07-07T18:39:37,259 Found link https://files.pythonhosted.org/packages/66/55/de47df778587d61efe938ca2749c6a06dce86e41cdc501437f409cbeb377/PySMT-0.9.1.dev98-py2.py3-none-any.whl#sha256=43bd0a0456c7a7b9f0a2f8370f8d7e5db1d28993630b82b6ef80be480ccfc284 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev98 2021-07-07T18:39:37,260 Found link https://files.pythonhosted.org/packages/49/5f/e7b57ab87b74b12430a88638aa1926a71b977de1cc1e18306b4206b0d2a0/PySMT-0.9.1.dev108-py2.py3-none-any.whl#sha256=be5d5445eb296a8de3f78b945e4521ce5dc727149b39742f4180d78f55a39e67 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev108 2021-07-07T18:39:37,262 Found link https://files.pythonhosted.org/packages/29/8c/185021faf469e028e38ee157773cf63eed9b32d57dff3583d573e3943e55/PySMT-0.9.1.dev112-py2.py3-none-any.whl#sha256=9751fae6e1dfd8f8c43e3e8c3cc93ac5f05beaa5eb7d4f67a269a5aa74aedf38 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev112 2021-07-07T18:39:37,263 Found link https://files.pythonhosted.org/packages/5a/7d/65a66690725de463236b0272291b8b80fc360fef3999c1a7cedf890a68e5/PySMT-0.9.1.dev119-py2.py3-none-any.whl#sha256=6c7bcca70d4632e76376f8d6766da14cc4b63162a501116d6c677dabf99835ea (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev119 2021-07-07T18:39:37,264 Found link https://files.pythonhosted.org/packages/3c/f4/bd2630db903f7f28e433cb16b7be4ea55afea61fd673286d9320a9476464/PySMT-0.9.1.dev124-py2.py3-none-any.whl#sha256=75b84891cf546948586a21b7234e6a4e7ac1984d3bffc5187cc0b18fbd813e7c (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev124 2021-07-07T18:39:37,266 Found link https://files.pythonhosted.org/packages/7c/45/4d15acd23edce3a5cee2c3a6359c091261595dce25306a3b848521e34b14/PySMT-0.9.1.dev132-py2.py3-none-any.whl#sha256=a71b4729b91f1511b35ab83139e945ef5c57adb60fec9683a36ae8fafdd13806 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev132 2021-07-07T18:39:37,285 Given no hashes to check 1 links for project 'pysmt': discarding no candidates 2021-07-07T18:39:37,320 Collecting pysmt==0.8.0 2021-07-07T18:39:37,324 Created temporary directory: /tmp/pip-unpack-yzm7xs0o 2021-07-07T18:39:37,407 Downloading PySMT-0.8.0.tar.gz (254 kB) 2021-07-07T18:39:38,325 Added pysmt==0.8.0 from https://files.pythonhosted.org/packages/dd/93/a3e2e53c71c8a5713ba505d47e45c99e614f026fc26257ba28dc5130a3b2/PySMT-0.8.0.tar.gz#sha256=6ccac89f22052f0b12f3847382efe94d0fbda95f33978af29f4f3aee5ef0e270 to build tracker '/tmp/pip-req-tracker-levqq_dp' 2021-07-07T18:39:38,327 Running setup.py (path:/tmp/pip-wheel-vvx5iz2z/pysmt_77774c23bf5542bb98184066b24313ab/setup.py) egg_info for package pysmt 2021-07-07T18:39:38,329 Created temporary directory: /tmp/pip-pip-egg-info-7g4p24b9 2021-07-07T18:39:38,330 Running command python setup.py egg_info 2021-07-07T18:39:40,603 running egg_info 2021-07-07T18:39:40,608 creating /tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info 2021-07-07T18:39:40,612 writing dependency_links to /tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/dependency_links.txt 2021-07-07T18:39:40,615 writing top-level names to /tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/top_level.txt 2021-07-07T18:39:40,617 writing entry points to /tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/entry_points.txt 2021-07-07T18:39:40,619 writing requirements to /tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/requires.txt 2021-07-07T18:39:40,622 writing /tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/PKG-INFO 2021-07-07T18:39:40,628 writing manifest file '/tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/SOURCES.txt' 2021-07-07T18:39:40,993 reading manifest file '/tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/SOURCES.txt' 2021-07-07T18:39:40,996 reading manifest template 'MANIFEST.in' 2021-07-07T18:39:41,023 writing manifest file '/tmp/pip-pip-egg-info-7g4p24b9/PySMT.egg-info/SOURCES.txt' 2021-07-07T18:39:41,160 Source in /tmp/pip-wheel-vvx5iz2z/pysmt_77774c23bf5542bb98184066b24313ab has version 0.8.0, which satisfies requirement pysmt==0.8.0 from https://files.pythonhosted.org/packages/dd/93/a3e2e53c71c8a5713ba505d47e45c99e614f026fc26257ba28dc5130a3b2/PySMT-0.8.0.tar.gz#sha256=6ccac89f22052f0b12f3847382efe94d0fbda95f33978af29f4f3aee5ef0e270 2021-07-07T18:39:41,161 Removed pysmt==0.8.0 from https://files.pythonhosted.org/packages/dd/93/a3e2e53c71c8a5713ba505d47e45c99e614f026fc26257ba28dc5130a3b2/PySMT-0.8.0.tar.gz#sha256=6ccac89f22052f0b12f3847382efe94d0fbda95f33978af29f4f3aee5ef0e270 from build tracker '/tmp/pip-req-tracker-levqq_dp' 2021-07-07T18:39:41,170 Created temporary directory: /tmp/pip-unpack-oacrc8c2 2021-07-07T18:39:41,171 Building wheels for collected packages: pysmt 2021-07-07T18:39:41,179 Created temporary directory: /tmp/pip-wheel-ziaq7e5_ 2021-07-07T18:39:41,181 Building wheel for pysmt (setup.py): started 2021-07-07T18:39:41,181 Destination directory: /tmp/pip-wheel-ziaq7e5_ 2021-07-07T18:39:41,182 Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-vvx5iz2z/pysmt_77774c23bf5542bb98184066b24313ab/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-vvx5iz2z/pysmt_77774c23bf5542bb98184066b24313ab/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-ziaq7e5_ 2021-07-07T18:39:43,478 running bdist_wheel 2021-07-07T18:39:43,493 running build 2021-07-07T18:39:43,494 running build_py 2021-07-07T18:39:43,830 creating build 2021-07-07T18:39:43,831 creating build/lib 2021-07-07T18:39:43,832 creating build/lib/pysmt 2021-07-07T18:39:43,835 copying pysmt/logics.py -> build/lib/pysmt 2021-07-07T18:39:43,843 copying pysmt/printers.py -> build/lib/pysmt 2021-07-07T18:39:43,849 copying pysmt/configuration.py -> build/lib/pysmt 2021-07-07T18:39:43,855 copying pysmt/factory.py -> build/lib/pysmt 2021-07-07T18:39:43,864 copying pysmt/constants.py -> build/lib/pysmt 2021-07-07T18:39:43,870 copying pysmt/rewritings.py -> build/lib/pysmt 2021-07-07T18:39:43,880 copying pysmt/formula.py -> build/lib/pysmt 2021-07-07T18:39:43,890 copying pysmt/simplifier.py -> build/lib/pysmt 2021-07-07T18:39:43,900 copying pysmt/parsing.py -> build/lib/pysmt 2021-07-07T18:39:43,908 copying pysmt/operators.py -> build/lib/pysmt 2021-07-07T18:39:43,914 copying pysmt/__init__.py -> build/lib/pysmt 2021-07-07T18:39:43,919 copying pysmt/substituter.py -> build/lib/pysmt 2021-07-07T18:39:43,926 copying pysmt/shortcuts.py -> build/lib/pysmt 2021-07-07T18:39:43,935 copying pysmt/typing.py -> build/lib/pysmt 2021-07-07T18:39:43,941 copying pysmt/decorators.py -> build/lib/pysmt 2021-07-07T18:39:43,945 copying pysmt/environment.py -> build/lib/pysmt 2021-07-07T18:39:43,950 copying pysmt/utils.py -> build/lib/pysmt 2021-07-07T18:39:43,955 copying pysmt/oracles.py -> build/lib/pysmt 2021-07-07T18:39:43,963 copying pysmt/fnode.py -> build/lib/pysmt 2021-07-07T18:39:43,973 copying pysmt/exceptions.py -> build/lib/pysmt 2021-07-07T18:39:43,978 copying pysmt/type_checker.py -> build/lib/pysmt 2021-07-07T18:39:43,985 creating build/lib/pysmt/walkers 2021-07-07T18:39:43,987 copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers 2021-07-07T18:39:43,991 copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers 2021-07-07T18:39:43,997 copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers 2021-07-07T18:39:44,004 copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers 2021-07-07T18:39:44,010 copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers 2021-07-07T18:39:44,020 creating build/lib/pysmt/test 2021-07-07T18:39:44,022 copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test 2021-07-07T18:39:44,028 copying pysmt/test/test_oracles.py -> build/lib/pysmt/test 2021-07-07T18:39:44,033 copying pysmt/test/test_regressions.py -> build/lib/pysmt/test 2021-07-07T18:39:44,039 copying pysmt/test/test_lira.py -> build/lib/pysmt/test 2021-07-07T18:39:44,043 copying pysmt/test/test_bv.py -> build/lib/pysmt/test 2021-07-07T18:39:44,048 copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test 2021-07-07T18:39:44,052 copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test 2021-07-07T18:39:44,060 copying pysmt/test/test_configuration.py -> build/lib/pysmt/test 2021-07-07T18:39:44,066 copying pysmt/test/test_size.py -> build/lib/pysmt/test 2021-07-07T18:39:44,071 copying pysmt/test/test_nlira.py -> build/lib/pysmt/test 2021-07-07T18:39:44,077 copying pysmt/test/test_string.py -> build/lib/pysmt/test 2021-07-07T18:39:44,082 copying pysmt/test/test_models.py -> build/lib/pysmt/test 2021-07-07T18:39:44,086 copying pysmt/test/test_formula.py -> build/lib/pysmt/test 2021-07-07T18:39:44,095 copying pysmt/test/__init__.py -> build/lib/pysmt/test 2021-07-07T18:39:44,101 copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test 2021-07-07T18:39:44,107 copying pysmt/test/test_constants.py -> build/lib/pysmt/test 2021-07-07T18:39:44,114 copying pysmt/test/test_printing.py -> build/lib/pysmt/test 2021-07-07T18:39:44,119 copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test 2021-07-07T18:39:44,124 copying pysmt/test/test_euf.py -> build/lib/pysmt/test 2021-07-07T18:39:44,129 copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test 2021-07-07T18:39:44,133 copying pysmt/test/test_cnf.py -> build/lib/pysmt/test 2021-07-07T18:39:44,139 copying pysmt/test/test_dwf.py -> build/lib/pysmt/test 2021-07-07T18:39:44,145 copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test 2021-07-07T18:39:44,151 copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test 2021-07-07T18:39:44,156 copying pysmt/test/test_bdd.py -> build/lib/pysmt/test 2021-07-07T18:39:44,161 copying pysmt/test/test_qe.py -> build/lib/pysmt/test 2021-07-07T18:39:44,167 copying pysmt/test/test_logics.py -> build/lib/pysmt/test 2021-07-07T18:39:44,172 copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test 2021-07-07T18:39:44,178 copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test 2021-07-07T18:39:44,184 copying pysmt/test/test_simplify.py -> build/lib/pysmt/test 2021-07-07T18:39:44,190 copying pysmt/test/test_imports.py -> build/lib/pysmt/test 2021-07-07T18:39:44,196 copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test 2021-07-07T18:39:44,200 copying pysmt/test/test_int.py -> build/lib/pysmt/test 2021-07-07T18:39:44,204 copying pysmt/test/test_env.py -> build/lib/pysmt/test 2021-07-07T18:39:44,209 copying pysmt/test/test_array.py -> build/lib/pysmt/test 2021-07-07T18:39:44,214 copying pysmt/test/test_solving.py -> build/lib/pysmt/test 2021-07-07T18:39:44,222 copying pysmt/test/test_walkers.py -> build/lib/pysmt/test 2021-07-07T18:39:44,229 copying pysmt/test/test_sorts.py -> build/lib/pysmt/test 2021-07-07T18:39:44,236 copying pysmt/test/examples.py -> build/lib/pysmt/test 2021-07-07T18:39:44,245 copying pysmt/test/test_back.py -> build/lib/pysmt/test 2021-07-07T18:39:44,251 copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test 2021-07-07T18:39:44,261 creating build/lib/pysmt/solvers 2021-07-07T18:39:44,264 copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,272 copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,279 copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,287 copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,293 copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,298 copying pysmt/solvers/options.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,303 copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,311 copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,318 copying pysmt/solvers/z3_flymake.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,326 copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,333 copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,338 copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,345 copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,352 copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,362 copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,368 copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers 2021-07-07T18:39:44,375 creating build/lib/pysmt/cmd 2021-07-07T18:39:44,378 copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd 2021-07-07T18:39:44,384 copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd 2021-07-07T18:39:44,387 copying pysmt/cmd/install.py -> build/lib/pysmt/cmd 2021-07-07T18:39:44,393 copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd 2021-07-07T18:39:44,398 creating build/lib/pysmt/smtlib 2021-07-07T18:39:44,401 copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib 2021-07-07T18:39:44,410 copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib 2021-07-07T18:39:44,415 copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib 2021-07-07T18:39:44,420 copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib 2021-07-07T18:39:44,425 copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib 2021-07-07T18:39:44,430 copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib 2021-07-07T18:39:44,439 creating build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,442 copying pysmt/test/smtlib/test_parser_invalid.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,448 copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,455 copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,460 copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,467 copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,473 copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,479 copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,483 copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,487 copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,491 copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,496 copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,500 copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,506 copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,511 copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,518 copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,524 copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,531 copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,536 copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,543 copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib 2021-07-07T18:39:44,552 creating build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,555 copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,562 copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,568 copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,572 copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,576 copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,580 copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,585 copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,591 copying pysmt/cmd/installers/cvc4gpl.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,597 copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,603 copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers 2021-07-07T18:39:44,611 creating build/lib/pysmt/smtlib/parser 2021-07-07T18:39:44,614 copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser 2021-07-07T18:39:44,620 copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser 2021-07-07T18:39:44,630 running egg_info 2021-07-07T18:39:44,664 writing top-level names to PySMT.egg-info/top_level.txt 2021-07-07T18:39:44,667 writing PySMT.egg-info/PKG-INFO 2021-07-07T18:39:44,671 writing dependency_links to PySMT.egg-info/dependency_links.txt 2021-07-07T18:39:44,673 writing requirements to PySMT.egg-info/requires.txt 2021-07-07T18:39:44,676 writing entry points to PySMT.egg-info/entry_points.txt 2021-07-07T18:39:44,708 reading manifest file 'PySMT.egg-info/SOURCES.txt' 2021-07-07T18:39:44,721 reading manifest template 'MANIFEST.in' 2021-07-07T18:39:44,753 writing manifest file 'PySMT.egg-info/SOURCES.txt' 2021-07-07T18:39:44,789 installing to build/bdist.linux-armv7l/wheel 2021-07-07T18:39:44,790 running install 2021-07-07T18:39:44,792 running install_lib 2021-07-07T18:39:44,799 creating build/bdist.linux-armv7l 2021-07-07T18:39:44,800 creating build/bdist.linux-armv7l/wheel 2021-07-07T18:39:44,804 creating build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,807 creating build/bdist.linux-armv7l/wheel/pysmt/walkers 2021-07-07T18:39:44,809 copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers 2021-07-07T18:39:44,815 copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers 2021-07-07T18:39:44,819 copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers 2021-07-07T18:39:44,824 copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers 2021-07-07T18:39:44,828 copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers 2021-07-07T18:39:44,833 copying build/lib/pysmt/logics.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,842 copying build/lib/pysmt/printers.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,849 copying build/lib/pysmt/configuration.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,855 copying build/lib/pysmt/factory.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,863 copying build/lib/pysmt/constants.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,869 copying build/lib/pysmt/rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,877 copying build/lib/pysmt/formula.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,885 copying build/lib/pysmt/simplifier.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,894 copying build/lib/pysmt/parsing.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,901 copying build/lib/pysmt/operators.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:44,911 creating build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,913 copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,920 copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,926 copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,933 copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,939 copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,946 copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,951 copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,958 copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,964 copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,969 copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,975 copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,980 copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,984 copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,991 copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:44,997 copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,003 copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,009 copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,015 copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,022 copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,028 copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,033 copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,039 copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,046 creating build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,049 copying build/lib/pysmt/test/smtlib/test_parser_invalid.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,054 copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,061 copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,066 copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,073 copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,078 copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,083 copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,089 copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,094 copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,099 copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,104 copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,110 copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,115 copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,121 copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,127 copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,133 copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,139 copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,144 copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,151 copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib 2021-07-07T18:39:45,157 copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,162 copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,169 copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,175 copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,182 copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,188 copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,195 copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,200 copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,207 copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,212 copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,218 copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,224 copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,230 copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,236 copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,244 copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,249 copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,254 copying build/lib/pysmt/test/examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,263 copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,269 copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test 2021-07-07T18:39:45,274 copying build/lib/pysmt/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,280 copying build/lib/pysmt/substituter.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,285 copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,294 creating build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,296 copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,303 copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,311 copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,321 copying build/lib/pysmt/solvers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,327 copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,331 copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,335 copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,341 copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,348 copying build/lib/pysmt/solvers/z3_flymake.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,358 copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,364 copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,368 copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,375 copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,381 copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,392 copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,397 copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers 2021-07-07T18:39:45,404 copying build/lib/pysmt/typing.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,411 copying build/lib/pysmt/decorators.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,417 copying build/lib/pysmt/environment.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,425 creating build/bdist.linux-armv7l/wheel/pysmt/cmd 2021-07-07T18:39:45,427 copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd 2021-07-07T18:39:45,435 creating build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,438 copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,444 copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,449 copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,454 copying build/lib/pysmt/cmd/installers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,458 copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,462 copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,467 copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,473 copying build/lib/pysmt/cmd/installers/cvc4gpl.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,478 copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,484 copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers 2021-07-07T18:39:45,491 copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd 2021-07-07T18:39:45,495 copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd 2021-07-07T18:39:45,502 copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd 2021-07-07T18:39:45,508 creating build/bdist.linux-armv7l/wheel/pysmt/smtlib 2021-07-07T18:39:45,510 copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib 2021-07-07T18:39:45,517 copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib 2021-07-07T18:39:45,521 copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib 2021-07-07T18:39:45,527 creating build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser 2021-07-07T18:39:45,529 copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser 2021-07-07T18:39:45,535 copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser 2021-07-07T18:39:45,547 copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib 2021-07-07T18:39:45,553 copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib 2021-07-07T18:39:45,560 copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib 2021-07-07T18:39:45,566 copying build/lib/pysmt/utils.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,570 copying build/lib/pysmt/oracles.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,576 copying build/lib/pysmt/fnode.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,584 copying build/lib/pysmt/exceptions.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,589 copying build/lib/pysmt/type_checker.py -> build/bdist.linux-armv7l/wheel/pysmt 2021-07-07T18:39:45,595 running install_egg_info 2021-07-07T18:39:45,616 Copying PySMT.egg-info to build/bdist.linux-armv7l/wheel/PySMT-0.8.0-py3.5.egg-info 2021-07-07T18:39:45,641 running install_scripts 2021-07-07T18:39:45,821 creating build/bdist.linux-armv7l/wheel/PySMT-0.8.0.dist-info/WHEEL 2021-07-07T18:39:46,672 Building wheel for pysmt (setup.py): finished with status 'done' 2021-07-07T18:39:46,681 Created wheel for pysmt: filename=PySMT-0.8.0-py3-none-any.whl size=314615 sha256=a63e2ce0737af3e0982b1b8303d1d887e4d2b0df260371b10e3341f8d41d6bbb 2021-07-07T18:39:46,682 Stored in directory: /tmp/pip-ephem-wheel-cache-phqxa2av/wheels/b7/f2/b2/ab4a7de756a105c7c7cf32f74c8ef9e0f8a4f6e22c30790e3e 2021-07-07T18:39:46,711 Successfully built pysmt 2021-07-07T18:39:46,770 Removed build tracker: '/tmp/pip-req-tracker-levqq_dp'