2022-05-28T15:05:53,757 Created temporary directory: /tmp/pip-ephem-wheel-cache-ouw6kk_r
2022-05-28T15:05:53,763 Created temporary directory: /tmp/pip-req-tracker-pb1r2i2l
2022-05-28T15:05:53,764 Initialized build tracking at /tmp/pip-req-tracker-pb1r2i2l
2022-05-28T15:05:53,764 Created build tracker: /tmp/pip-req-tracker-pb1r2i2l
2022-05-28T15:05:53,765 Entered build tracker: /tmp/pip-req-tracker-pb1r2i2l
2022-05-28T15:05:53,766 Created temporary directory: /tmp/pip-wheel-d71502eh
2022-05-28T15:05:53,837 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2022-05-28T15:05:53,841 2 location(s) to search for versions of pysmt:
2022-05-28T15:05:53,841 * https://pypi.org/simple/pysmt/
2022-05-28T15:05:53,841 * https://www.piwheels.org/simple/pysmt/
2022-05-28T15:05:53,841 Fetching project page and analyzing links: https://pypi.org/simple/pysmt/
2022-05-28T15:05:53,843 Getting page https://pypi.org/simple/pysmt/
2022-05-28T15:05:53,848 Found index url https://pypi.org/simple
2022-05-28T15:05:54,262   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
2022-05-28T15:05:54,263   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
2022-05-28T15:05:54,264   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
2022-05-28T15:05:54,265   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
2022-05-28T15:05:54,266   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
2022-05-28T15:05:54,267   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
2022-05-28T15:05:54,268   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
2022-05-28T15:05:54,268   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
2022-05-28T15:05:54,269   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
2022-05-28T15:05:54,270   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
2022-05-28T15:05:54,271   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
2022-05-28T15:05:54,272   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
2022-05-28T15:05:54,273   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
2022-05-28T15:05:54,274   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
2022-05-28T15:05:54,275   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
2022-05-28T15:05:54,276   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
2022-05-28T15:05:54,277   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
2022-05-28T15:05:54,278   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
2022-05-28T15:05:54,279   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
2022-05-28T15:05:54,280   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
2022-05-28T15:05:54,281   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#sha256=bac01c6accdf5b55c523cbebd07fddc174d36a88aa102887eaff2f896f1d73a2 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,282   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#sha256=8781f9fc19789b341766b059070e9066267b8ec1f7588ffa88caf737b2b42f4b (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,283   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#sha256=fc4ccc79726038eaf22666ac7167f4d67316f4ebdfb176d209c19c7c0a4448bc (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,283   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#sha256=130bb6bcd6521791e9c3b7533e79e396751d180ad918dce4d10b7f4237479ff5 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,284   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#sha256=c22c7b18644d86185793629418c750eeeb92407b64b9927b0eae9594f92abcab (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,285   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#sha256=83a5e28f17377a8d2452201db2bdbbaccd3ef7db0bd4aac952eb06364af3bf9b (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,285   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#sha256=17a347df9ccd7c416ea2da6ce549fa6adaecaf5346eade4e156680668e67b6a2 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,286   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#sha256=ce886d641aedfe99ed085b37d47bc2bb087327a521fcff517fe2d871bdf35eb2 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,287   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#sha256=5a7291603e927dd3bdc143f3441f27ee1ce2dc5b30cbeafc7cfd7aef511429fe (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,287   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#sha256=b249a37f15bc465b531dc0cc3ab1d5ab96aa5182225a55f94222cf29b4b708ee (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,288   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#sha256=9512c751ea2ecd19e095548983c96f2e9d5e77581135b97e47099bcf6957dc0a (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,288   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#sha256=4dcc9a414b0921b56c4027e5f535d34fe18dd0459bef9a1339ebcf6eeb5acd26 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,289   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#sha256=862c6be8c893270b43171de8eb1de45846b47e4eebf17b2d673bc764ca70d61d (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,290   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#sha256=1038828b307973c9821be428d0ff94f51554125f8af3324f02f3b7795cd13bec (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,290   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#sha256=a1a1a684887e070f99ca46c25071ccd3eb301c3b6f0056b4be63a8fee4ec83ae (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,291   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#sha256=c4df28a6ef647cbea759f167bd3cd56fab4c1df8d816da59c73f7d709cde1f42 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,292   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#sha256=83f349fac215ecd7fe779c623dfd63c6967df2f9030813170fa2767072552681 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,292   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#sha256=93c8ee7e5d0afc83a2c5593a0cf1440fe0c74dad5bb0567e710af764618cfd68 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,293   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#sha256=526c1c276dbd236e2499ed275996fa32f88f9e3e43c9a173128ae7ac457e7743 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,294   Skipping link: No binaries permitted for pysmt: 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/)
2022-05-28T15:05:54,294   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#sha256=69cdb7ead2e55a92ed07fd34670a133304f8a5689fcf2e9a0eb50169420895ad (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,295   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#sha256=246371e04b11d8ab2d2933a6e380bf48a0fa2ddb5c2f973b06233dbf90012210 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,295   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#sha256=c5dc99906af6cd161177243ee69850a3243b793a0dd829cc2906275f40162f17 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,296   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#sha256=10ab15e44a0f8c264a52527af138149094420bf84ae29ba95698ddebb30e06bd (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,297   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#sha256=a3871d1cc2c539ac9fa925864f9483b31a19a02ad3b1ce7998177df33629d460 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,297   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#sha256=90fc531a4c86bb2ba38d7af8eeac4bacf8ca5196efbff0eee75c5180c1c2abc5 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,298   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#sha256=4b5fb852e719109f8fae2c25665963ce53f3056c6ee4442355962f7e1bc2bc8f (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,299   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#sha256=74f33609dd246e629c7ed8d37af46e15c21bda8c3e8f720d00c5882ebed33f96 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,299   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#sha256=43bd0a0456c7a7b9f0a2f8370f8d7e5db1d28993630b82b6ef80be480ccfc284 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,300   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#sha256=be5d5445eb296a8de3f78b945e4521ce5dc727149b39742f4180d78f55a39e67 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,301   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#sha256=9751fae6e1dfd8f8c43e3e8c3cc93ac5f05beaa5eb7d4f67a269a5aa74aedf38 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,301   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#sha256=6c7bcca70d4632e76376f8d6766da14cc4b63162a501116d6c677dabf99835ea (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,302   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#sha256=75b84891cf546948586a21b7234e6a4e7ac1984d3bffc5187cc0b18fbd813e7c (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,303   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#sha256=a71b4729b91f1511b35ab83139e945ef5c57adb60fec9683a36ae8fafdd13806 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,303   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#sha256=8c587fdb3a83d35b1d413347fafa6acee3e87e2c8ebe97d1d4acd05262dcb4d5 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,304   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#sha256=4ec51e21bf24b4d1aae83bf0ef941c93d7d315730f016930d5adfa3eac8c2d33 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,304   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#sha256=f88ab34ae7b47025d490b2eba611428a8fe12805113cd386c1d6f636cdf82962 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,305   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#sha256=31c6cf821ce9ca01e026cc909687d564232987f7ff875cdfada7e6e5d6c5b2a7 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,306   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#sha256=3120cb6c7d2fdad0038da3af92cffb02f62379c145dd7da1ec816120d0e6d053 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,307   Found link https://files.pythonhosted.org/packages/b7/2d/156c2a596f40cbbcc8fae71d6f59f01550006839222077662b69a33d5cc8/PySMT-0.9.1.dev161.linux-x86_64.tar.gz#sha256=f5c5fa263899cc8dd2f3b7722a1d1a4c5446bc42808503f6959d20d004728a36 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev161.linux-x86_64
2022-05-28T15:05:54,308   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#sha256=7dc43ef7e8b2018af4df0be83225ecdeca8756914b4962b7b985403d180f64bc (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,308   Found link https://files.pythonhosted.org/packages/07/aa/39ae3f97c7015d1e714976064d19407d1c21a41557a8982aab9f886fce16/PySMT-0.9.1.dev162.tar.gz#sha256=f52ab3ead0fdd046957d9ad2d3fa9a6c6e91dc608ccfea36468e7c028efc6982 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev162
2022-05-28T15:05:54,309   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#sha256=fa82f7708b41193030d89e1acf736cfe0170272476c28651b83baf1079110b38 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,310   Found link https://files.pythonhosted.org/packages/32/65/25a348fb708cf7f66cfdeed09e71ce8081c69afe4562d69d4c5bb8bde24a/PySMT-0.9.1.dev163.tar.gz#sha256=4c0296958ffae5c56f96af79cbf12e3f890349d99b6d7b75c5d59c2247270e17 (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev163
2022-05-28T15:05:54,311   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#sha256=b29f0afaf89f3db736627de9d64bf2ab2a3785665f7ab977455796d7cd0f7c91 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,312   Found link https://files.pythonhosted.org/packages/13/cf/d75b78dd1b29218054da0091c7f9bd1865e51a462b6864a0da40e1fd10c3/PySMT-0.9.1.dev166.tar.gz#sha256=4b4cd493ec0164476077f215f1652db3c856dd584cc486defad28e582df74deb (from https://pypi.org/simple/pysmt/), version: 0.9.1.dev166
2022-05-28T15:05:54,313   Skipping link: No binaries permitted for pysmt: https://files.pythonhosted.org/packages/a8/2e/675a6d23a267f19c452b8698f94d8b995469b85be6e2c692aa716674fffb/PySMT-0.9.5-py2.py3-none-any.whl#sha256=0f95e6baa1f5672b414bda050d7b9f1f2d4e8cbfd48c7c0dc019b00b6c975a68 (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,313   Found link https://files.pythonhosted.org/packages/19/e5/800592c4abecf6a876b309c0b0d6039f28deb4ea0372a52ae70738d83aee/PySMT-0.9.5.tar.gz#sha256=0c796a6d4e4c8b25ade9eca48b9876ce3a147f4e0c0b851469511f55b9a0ec47 (from https://pypi.org/simple/pysmt/), version: 0.9.5
2022-05-28T15:05:54,314   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#sha256=dba00ce40179a3f13a9ed621d0b3821da7985aa7dba7ebc849dcaaca9b06ba0d (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,315   Found link https://files.pythonhosted.org/packages/6f/cd/31acb3a010e3205e61de34216bdbfdee05c65fda37f984509ec8ce7d709d/PySMT-0.9.6.dev3.tar.gz#sha256=f0c4fd1c369a93f406b6fe9004610bf8c596693af8f111ee191e260c8ff75b62 (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev3
2022-05-28T15:05:54,316   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#sha256=b05e4a89aafe2697a9be924f2bc8f0e83c7d324506d2e54d92017d50f3c6b4cb (from https://pypi.org/simple/pysmt/)
2022-05-28T15:05:54,317   Found link https://files.pythonhosted.org/packages/18/1e/a138b81cdc68d1d51d4a30cb40e51d3220b9b478b7d1c851097c5644fd65/PySMT-0.9.6.dev5.tar.gz#sha256=3782f72e0023a07b4bdcb3ae9050b7beb43bf78dc8eed7220948240a75ccfbed (from https://pypi.org/simple/pysmt/), version: 0.9.6.dev5
2022-05-28T15:05:54,317 Fetching project page and analyzing links: https://www.piwheels.org/simple/pysmt/
2022-05-28T15:05:54,318 Getting page https://www.piwheels.org/simple/pysmt/
2022-05-28T15:05:54,321 Found index url https://www.piwheels.org/simple
2022-05-28T15:05:54,589   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.6.dev3-py3-none-any.whl#sha256=df8191d76cbef19d557caa28609d6dc2426ecfb15050f7e8a44dd0ac43351d63 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,590   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.5-py3-none-any.whl#sha256=c8d966a51c59bfa16b82611de4d8c6d9909e66244a0ca05d6e4ba21067a8ba3c (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,591   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.1.dev166-py3-none-any.whl#sha256=5b07ddcdf2b418724371bf862959b3fc9bf6a73eaac6cf829153c739847de9bc (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,592   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.1.dev163-py3-none-any.whl#sha256=f064be356cc26b89b1cf502b29c93ed8175eafb7b46872d66b303abd145bcc58 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,592   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.9.1.dev162-py3-none-any.whl#sha256=14b2147401903eb60eccd5ea389f845ed8e875c84136ea8232ba652d31cc8263 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,593   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.8.0-py3-none-any.whl#sha256=a63e2ce0737af3e0982b1b8303d1d887e4d2b0df260371b10e3341f8d41d6bbb (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,593   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.7.5-py3-none-any.whl#sha256=36dbe87edac3fa1b8df46905ea9599c395dee7bf309d962074ca39f788bca02f (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,594   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.7.0-py3-none-any.whl#sha256=fa4292ea14b20bfd90daa48812c67ae3331b23f6d1fd78c6ecb9131ab8af4bf9 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,595   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.6.1-py3-none-any.whl#sha256=04fdec9dc0b3d0d668fc4beefa63131e4b395522da183630d41948e464808834 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,595   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.6.0-py3-none-any.whl#sha256=45f75f4e84c4059a5e0724e232c4056ee8423a981e7c9088e01a855ddac6961b (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,596   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.5.1-py3-none-any.whl#sha256=9083146eba37829480a4c68587bb3e2ca171d56eac607f1fd118bcbdd4d3ef48 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,597   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.5.0-py3-none-any.whl#sha256=37d266e508c1a0be3a6c4ee50e1c4191007bbbb472358174b18f31b31d650d4c (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,597   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.4-py3-none-any.whl#sha256=0ce8ec3371d19a8a665da5529c01360fa9b5ad7176d9996fcbae53faa696adf1 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,598   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.3-py3-none-any.whl#sha256=4a45715649636b76563a3a5bf586fe7c9b0cf3021effb35f0d4cfd7e588f411c (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,599   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.2-py3-none-any.whl#sha256=091c81c35e8d91f451fc9cc9ba90b475c0e32da033b5289433da3c8b3327c61f (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,599   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.1-py3-none-any.whl#sha256=b28e78339ceab144a6512bbaf105b2817d7ba4a932a265360299587954202564 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,600   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.4.0-py3-none-any.whl#sha256=01774100470f5a79c74f3b740dd4e749a5b9f1a362b7054a4e68096e66db4223 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,601   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.3.0-py3-none-any.whl#sha256=3e5464e67629dfd14f298f09731cc0feb764fe255935c1260d3b2cad4c0e68ab (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,601   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.3.0.dev0-py3-none-any.whl#sha256=befaba1798c6bed224d5f6a4a51ec862b16e870f6332d24327d3c7c1587a735b (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,602   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.5.dev1-py3-none-any.whl#sha256=f8059fdc37e8bde3c43ed504521408ab210019f8258c104c449b5bb21adb3ff0 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,602   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.4-py3-none-any.whl#sha256=5b1f1b694d243ae70f8749443e8cb50b6177dd049d002af48cfaaabd2a04a3d7 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,603   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.4.dev0-py3-none-any.whl#sha256=aa82fbc70d20057bee193e2ef50410c06427bba9e21657b1cb9761319a6046a2 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,604   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.3-py3-none-any.whl#sha256=8d589a037a368b550ee76430c3f81df6425aaa88c690fa1888d5bc35681d2aa5 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,604   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.3.dev0-py3-none-any.whl#sha256=b668cd88c8c713822d851c026a995d328d0bceac9162ed53a720509849fef5e6 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,605   Skipping link: No binaries permitted for pysmt: https://www.piwheels.org/simple/pysmt/PySMT-0.2.2-py3-none-any.whl#sha256=c189f0a25d91b35506bfee183b84e9d626b8ec58a1a009b6ca6ba21fc8863d38 (from https://www.piwheels.org/simple/pysmt/)
2022-05-28T15:05:54,648 Given no hashes to check 1 links for project 'pysmt': discarding no candidates
2022-05-28T15:05:54,680 Collecting pysmt==0.9.6.dev5
2022-05-28T15:05:54,684   Created temporary directory: /tmp/pip-unpack-x7y8hgcc
2022-05-28T15:05:55,176   Downloading PySMT-0.9.6.dev5.tar.gz (259 kB)
2022-05-28T15:05:56,257   Added pysmt==0.9.6.dev5 from https://files.pythonhosted.org/packages/18/1e/a138b81cdc68d1d51d4a30cb40e51d3220b9b478b7d1c851097c5644fd65/PySMT-0.9.6.dev5.tar.gz#sha256=3782f72e0023a07b4bdcb3ae9050b7beb43bf78dc8eed7220948240a75ccfbed to build tracker '/tmp/pip-req-tracker-pb1r2i2l'
2022-05-28T15:05:56,259     Running setup.py (path:/tmp/pip-wheel-d71502eh/pysmt_c146e6a6df2e4a73a612cd53b6b243a7/setup.py) egg_info for package pysmt
2022-05-28T15:05:56,261     Created temporary directory: /tmp/pip-pip-egg-info-ybjc0f7k
2022-05-28T15:05:56,262     Running command python setup.py egg_info
2022-05-28T15:05:58,528     running egg_info
2022-05-28T15:05:58,534     creating /tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info
2022-05-28T15:05:58,537     writing /tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info/PKG-INFO
2022-05-28T15:05:58,542     writing entry points to /tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info/entry_points.txt
2022-05-28T15:05:58,545     writing dependency_links to /tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info/dependency_links.txt
2022-05-28T15:05:58,547     writing top-level names to /tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info/top_level.txt
2022-05-28T15:05:58,551     writing manifest file '/tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info/SOURCES.txt'
2022-05-28T15:05:58,971     reading manifest file '/tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info/SOURCES.txt'
2022-05-28T15:05:58,974     reading manifest template 'MANIFEST.in'
2022-05-28T15:05:59,013     writing manifest file '/tmp/pip-pip-egg-info-ybjc0f7k/PySMT.egg-info/SOURCES.txt'
2022-05-28T15:05:59,152   Source in /tmp/pip-wheel-d71502eh/pysmt_c146e6a6df2e4a73a612cd53b6b243a7 has version 0.9.6.dev5, which satisfies requirement pysmt==0.9.6.dev5 from https://files.pythonhosted.org/packages/18/1e/a138b81cdc68d1d51d4a30cb40e51d3220b9b478b7d1c851097c5644fd65/PySMT-0.9.6.dev5.tar.gz#sha256=3782f72e0023a07b4bdcb3ae9050b7beb43bf78dc8eed7220948240a75ccfbed
2022-05-28T15:05:59,154   Removed pysmt==0.9.6.dev5 from https://files.pythonhosted.org/packages/18/1e/a138b81cdc68d1d51d4a30cb40e51d3220b9b478b7d1c851097c5644fd65/PySMT-0.9.6.dev5.tar.gz#sha256=3782f72e0023a07b4bdcb3ae9050b7beb43bf78dc8eed7220948240a75ccfbed from build tracker '/tmp/pip-req-tracker-pb1r2i2l'
2022-05-28T15:05:59,162 Created temporary directory: /tmp/pip-unpack-ci8mta51
2022-05-28T15:05:59,163 Building wheels for collected packages: pysmt
2022-05-28T15:05:59,172   Created temporary directory: /tmp/pip-wheel-khass4_i
2022-05-28T15:05:59,173   Building wheel for pysmt (setup.py): started
2022-05-28T15:05:59,174   Destination directory: /tmp/pip-wheel-khass4_i
2022-05-28T15:05:59,174   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-d71502eh/pysmt_c146e6a6df2e4a73a612cd53b6b243a7/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-d71502eh/pysmt_c146e6a6df2e4a73a612cd53b6b243a7/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-khass4_i
2022-05-28T15:06:01,479   running bdist_wheel
2022-05-28T15:06:01,497   running build
2022-05-28T15:06:01,498   running build_py
2022-05-28T15:06:01,873   creating build
2022-05-28T15:06:01,874   creating build/lib
2022-05-28T15:06:01,876   creating build/lib/pysmt
2022-05-28T15:06:01,880   copying pysmt/printers.py -> build/lib/pysmt
2022-05-28T15:06:01,887   copying pysmt/decorators.py -> build/lib/pysmt
2022-05-28T15:06:01,892   copying pysmt/utils.py -> build/lib/pysmt
2022-05-28T15:06:01,898   copying pysmt/simplifier.py -> build/lib/pysmt
2022-05-28T15:06:01,910   copying pysmt/operators.py -> build/lib/pysmt
2022-05-28T15:06:01,916   copying pysmt/substituter.py -> build/lib/pysmt
2022-05-28T15:06:01,922   copying pysmt/type_checker.py -> build/lib/pysmt
2022-05-28T15:06:01,927   copying pysmt/rewritings.py -> build/lib/pysmt
2022-05-28T15:06:01,935   copying pysmt/constants.py -> build/lib/pysmt
2022-05-28T15:06:01,940   copying pysmt/configuration.py -> build/lib/pysmt
2022-05-28T15:06:01,946   copying pysmt/__init__.py -> build/lib/pysmt
2022-05-28T15:06:01,952   copying pysmt/exceptions.py -> build/lib/pysmt
2022-05-28T15:06:01,958   copying pysmt/logics.py -> build/lib/pysmt
2022-05-28T15:06:01,965   copying pysmt/typing.py -> build/lib/pysmt
2022-05-28T15:06:01,971   copying pysmt/shortcuts.py -> build/lib/pysmt
2022-05-28T15:06:01,980   copying pysmt/__main__.py -> build/lib/pysmt
2022-05-28T15:06:01,986   copying pysmt/factory.py -> build/lib/pysmt
2022-05-28T15:06:01,994   copying pysmt/fnode.py -> build/lib/pysmt
2022-05-28T15:06:02,003   copying pysmt/oracles.py -> build/lib/pysmt
2022-05-28T15:06:02,010   copying pysmt/formula.py -> build/lib/pysmt
2022-05-28T15:06:02,018   copying pysmt/environment.py -> build/lib/pysmt
2022-05-28T15:06:02,025   copying pysmt/parsing.py -> build/lib/pysmt
2022-05-28T15:06:02,035   creating build/lib/pysmt/cmd
2022-05-28T15:06:02,038   copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd
2022-05-28T15:06:02,043   copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd
2022-05-28T15:06:02,048   copying pysmt/cmd/install.py -> build/lib/pysmt/cmd
2022-05-28T15:06:02,053   copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd
2022-05-28T15:06:02,057   creating build/lib/pysmt/smtlib
2022-05-28T15:06:02,060   copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib
2022-05-28T15:06:02,069   copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib
2022-05-28T15:06:02,074   copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib
2022-05-28T15:06:02,081   copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib
2022-05-28T15:06:02,086   copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib
2022-05-28T15:06:02,090   copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib
2022-05-28T15:06:02,095   copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib
2022-05-28T15:06:02,100   creating build/lib/pysmt/walkers
2022-05-28T15:06:02,103   copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers
2022-05-28T15:06:02,109   copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers
2022-05-28T15:06:02,115   copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers
2022-05-28T15:06:02,121   copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers
2022-05-28T15:06:02,127   copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers
2022-05-28T15:06:02,137   creating build/lib/pysmt/test
2022-05-28T15:06:02,139   copying pysmt/test/test_cnf.py -> build/lib/pysmt/test
2022-05-28T15:06:02,144   copying pysmt/test/test_constants.py -> build/lib/pysmt/test
2022-05-28T15:06:02,149   copying pysmt/test/test_printing.py -> build/lib/pysmt/test
2022-05-28T15:06:02,154   copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
2022-05-28T15:06:02,158   copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test
2022-05-28T15:06:02,164   copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
2022-05-28T15:06:02,171   copying pysmt/test/test_back.py -> build/lib/pysmt/test
2022-05-28T15:06:02,176   copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
2022-05-28T15:06:02,183   copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
2022-05-28T15:06:02,188   copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test
2022-05-28T15:06:02,192   copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
2022-05-28T15:06:02,198   copying pysmt/test/test_env.py -> build/lib/pysmt/test
2022-05-28T15:06:02,203   copying pysmt/test/test_bv.py -> build/lib/pysmt/test
2022-05-28T15:06:02,210   copying pysmt/test/test_qe.py -> build/lib/pysmt/test
2022-05-28T15:06:02,217   copying pysmt/test/test_solving.py -> build/lib/pysmt/test
2022-05-28T15:06:02,225   copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
2022-05-28T15:06:02,230   copying pysmt/test/test_euf.py -> build/lib/pysmt/test
2022-05-28T15:06:02,234   copying pysmt/test/test_formula.py -> build/lib/pysmt/test
2022-05-28T15:06:02,242   copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
2022-05-28T15:06:02,247   copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
2022-05-28T15:06:02,255   copying pysmt/test/test_models.py -> build/lib/pysmt/test
2022-05-28T15:06:02,261   copying pysmt/test/__init__.py -> build/lib/pysmt/test
2022-05-28T15:06:02,267   copying pysmt/test/test_size.py -> build/lib/pysmt/test
2022-05-28T15:06:02,273   copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
2022-05-28T15:06:02,279   copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
2022-05-28T15:06:02,286   copying pysmt/test/test_int.py -> build/lib/pysmt/test
2022-05-28T15:06:02,290   copying pysmt/test/test_logics.py -> build/lib/pysmt/test
2022-05-28T15:06:02,295   copying pysmt/test/test_array.py -> build/lib/pysmt/test
2022-05-28T15:06:02,300   copying pysmt/test/test_bdd.py -> build/lib/pysmt/test
2022-05-28T15:06:02,305   copying pysmt/test/test_string.py -> build/lib/pysmt/test
2022-05-28T15:06:02,312   copying pysmt/test/test_lira.py -> build/lib/pysmt/test
2022-05-28T15:06:02,318   copying pysmt/test/test_imports.py -> build/lib/pysmt/test
2022-05-28T15:06:02,323   copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
2022-05-28T15:06:02,328   copying pysmt/test/examples.py -> build/lib/pysmt/test
2022-05-28T15:06:02,336   copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test
2022-05-28T15:06:02,340   copying pysmt/test/test_nia.py -> build/lib/pysmt/test
2022-05-28T15:06:02,345   copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
2022-05-28T15:06:02,351   copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
2022-05-28T15:06:02,357   copying pysmt/test/test_configuration.py -> build/lib/pysmt/test
2022-05-28T15:06:02,362   copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
2022-05-28T15:06:02,368   copying pysmt/test/test_simplify.py -> build/lib/pysmt/test
2022-05-28T15:06:02,373   copying pysmt/test/test_sorts.py -> build/lib/pysmt/test
2022-05-28T15:06:02,380   creating build/lib/pysmt/solvers
2022-05-28T15:06:02,382   copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,388   copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,395   copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,407   copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,412   copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,419   copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,429   copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,437   copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,443   copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,448   copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,455   copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,461   copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,465   copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,472   copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,480   copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
2022-05-28T15:06:02,491   creating build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,493   copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,498   copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,502   copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,508   copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,513   copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,519   copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,525   copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,531   copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,535   copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers
2022-05-28T15:06:02,540   creating build/lib/pysmt/smtlib/parser
2022-05-28T15:06:02,542   copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser
2022-05-28T15:06:02,553   copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser
2022-05-28T15:06:02,564   creating build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,567   copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,574   copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,578   copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,582   copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,586   copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,590   copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,595   copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,601   copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,607   copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,612   copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,617   copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,621   copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,625   copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,629   copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,636   copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,641   copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,649   copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,655   copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,661   copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,667   copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib
2022-05-28T15:06:02,671   running egg_info
2022-05-28T15:06:02,702   writing PySMT.egg-info/PKG-INFO
2022-05-28T15:06:02,706   writing top-level names to PySMT.egg-info/top_level.txt
2022-05-28T15:06:02,708   writing entry points to PySMT.egg-info/entry_points.txt
2022-05-28T15:06:02,711   writing dependency_links to PySMT.egg-info/dependency_links.txt
2022-05-28T15:06:02,778   reading manifest file 'PySMT.egg-info/SOURCES.txt'
2022-05-28T15:06:02,789   reading manifest template 'MANIFEST.in'
2022-05-28T15:06:02,822   writing manifest file 'PySMT.egg-info/SOURCES.txt'
2022-05-28T15:06:02,831   creating build/lib/pysmt/test/configs
2022-05-28T15:06:02,833   copying pysmt/test/configs/config1.ini -> build/lib/pysmt/test/configs
2022-05-28T15:06:02,838   copying pysmt/test/configs/config_bad.ini -> build/lib/pysmt/test/configs
2022-05-28T15:06:02,874   installing to build/bdist.linux-armv7l/wheel
2022-05-28T15:06:02,874   running install
2022-05-28T15:06:02,876   running install_lib
2022-05-28T15:06:02,885   creating build/bdist.linux-armv7l
2022-05-28T15:06:02,885   creating build/bdist.linux-armv7l/wheel
2022-05-28T15:06:02,890   creating build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:02,892   copying build/lib/pysmt/printers.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:02,898   copying build/lib/pysmt/decorators.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:02,902   copying build/lib/pysmt/utils.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:02,908   creating build/bdist.linux-armv7l/wheel/pysmt/cmd
2022-05-28T15:06:02,912   creating build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,915   copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,922   copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,928   copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,933   copying build/lib/pysmt/cmd/installers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,938   copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,942   copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,946   copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,951   copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,958   copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
2022-05-28T15:06:02,965   copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2022-05-28T15:06:02,972   copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2022-05-28T15:06:02,977   copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2022-05-28T15:06:02,983   copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd
2022-05-28T15:06:02,987   copying build/lib/pysmt/simplifier.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:02,996   copying build/lib/pysmt/operators.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,002   copying build/lib/pysmt/substituter.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,010   creating build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,014   copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,024   copying build/lib/pysmt/smtlib/utils.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,031   copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,039   creating build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
2022-05-28T15:06:03,041   copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
2022-05-28T15:06:03,053   copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
2022-05-28T15:06:03,060   copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,068   copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,074   copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,079   copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib
2022-05-28T15:06:03,085   creating build/bdist.linux-armv7l/wheel/pysmt/walkers
2022-05-28T15:06:03,088   copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2022-05-28T15:06:03,094   copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2022-05-28T15:06:03,100   copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2022-05-28T15:06:03,105   copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2022-05-28T15:06:03,112   copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers
2022-05-28T15:06:03,117   copying build/lib/pysmt/type_checker.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,122   copying build/lib/pysmt/rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,130   copying build/lib/pysmt/constants.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,136   copying build/lib/pysmt/configuration.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,143   copying build/lib/pysmt/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,150   copying build/lib/pysmt/exceptions.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,158   copying build/lib/pysmt/logics.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,166   copying build/lib/pysmt/typing.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,177   creating build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,181   copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,188   copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,196   copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,202   copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,207   copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,213   copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,219   copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,224   copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,230   copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,236   copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,243   copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,252   copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,259   copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,265   creating build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,267   copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,273   copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,277   copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,283   copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,288   copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,294   copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,298   copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,302   copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,306   copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,311   copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,316   copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,321   copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,327   copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,332   copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,338   copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,342   copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,347   copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,353   copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,357   copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,363   copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
2022-05-28T15:06:03,368   copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,375   copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,382   copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,387   copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,391   copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,400   copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,406   copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,414   copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,419   copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,424   copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,428   copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,432   copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,438   copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,443   copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,450   copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,456   copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,461   copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,466   copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,470   copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,475   creating build/bdist.linux-armv7l/wheel/pysmt/test/configs
2022-05-28T15:06:03,477   copying build/lib/pysmt/test/configs/config1.ini -> build/bdist.linux-armv7l/wheel/pysmt/test/configs
2022-05-28T15:06:03,483   copying build/lib/pysmt/test/configs/config_bad.ini -> build/bdist.linux-armv7l/wheel/pysmt/test/configs
2022-05-28T15:06:03,488   copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,493   copying build/lib/pysmt/test/examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,502   copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,506   copying build/lib/pysmt/test/test_nia.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,511   copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,515   copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,520   copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,525   copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,532   copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,538   copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-armv7l/wheel/pysmt/test
2022-05-28T15:06:03,545   creating build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,546   copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,552   copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,557   copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,567   copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,573   copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,580   copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,589   copying build/lib/pysmt/solvers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,598   copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,603   copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,606   copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,613   copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,619   copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,624   copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,631   copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,639   copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers
2022-05-28T15:06:03,645   copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,653   copying build/lib/pysmt/__main__.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,657   copying build/lib/pysmt/factory.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,664   copying build/lib/pysmt/fnode.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,673   copying build/lib/pysmt/oracles.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,681   copying build/lib/pysmt/formula.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,689   copying build/lib/pysmt/environment.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,694   copying build/lib/pysmt/parsing.py -> build/bdist.linux-armv7l/wheel/pysmt
2022-05-28T15:06:03,700   running install_egg_info
2022-05-28T15:06:03,714   Copying PySMT.egg-info to build/bdist.linux-armv7l/wheel/PySMT-0.9.6.dev5-py3.5.egg-info
2022-05-28T15:06:03,740   running install_scripts
2022-05-28T15:06:03,921   creating build/bdist.linux-armv7l/wheel/PySMT-0.9.6.dev5.dist-info/WHEEL
2022-05-28T15:06:04,824   Building wheel for pysmt (setup.py): finished with status 'done'
2022-05-28T15:06:04,833   Created wheel for pysmt: filename=PySMT-0.9.6.dev5-py3-none-any.whl size=316537 sha256=3b5f147ccd8c00ff5b36b57fccf1ab0f06fdb9f60d59cf57e85c407d2f7693c9
2022-05-28T15:06:04,834   Stored in directory: /tmp/pip-ephem-wheel-cache-ouw6kk_r/wheels/ca/29/63/253f4178ed1edf4aa8f5330502301ced3dfda71a5011d49cb1
2022-05-28T15:06:04,864 Successfully built pysmt
2022-05-28T15:06:04,923 Removed build tracker: '/tmp/pip-req-tracker-pb1r2i2l'