2020-06-03T13:29:46,119 Created temporary directory: /tmp/pip-ephem-wheel-cache-wm0zy168
2020-06-03T13:29:46,123 Created temporary directory: /tmp/pip-req-tracker-0weh5byz
2020-06-03T13:29:46,124 Initialized build tracking at /tmp/pip-req-tracker-0weh5byz
2020-06-03T13:29:46,125 Created build tracker: /tmp/pip-req-tracker-0weh5byz
2020-06-03T13:29:46,125 Entered build tracker: /tmp/pip-req-tracker-0weh5byz
2020-06-03T13:29:46,126 Created temporary directory: /tmp/pip-wheel-n0dc_wye
2020-06-03T13:29:46,146 1 location(s) to search for versions of pyModelChecking:
2020-06-03T13:29:46,146 * https://pypi.org/simple/pymodelchecking/
2020-06-03T13:29:46,147 Fetching project page and analyzing links: https://pypi.org/simple/pymodelchecking/
2020-06-03T13:29:46,147 Getting page https://pypi.org/simple/pymodelchecking/
2020-06-03T13:29:46,150 Found index url https://pypi.org/simple
2020-06-03T13:29:46,373   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/5d/43/07d3588c6451a477219c3747f7e0d3c05e635bde36b0e05034cb6a2317f9/pyModelChecking-0.1.1-py2-none-any.whl#sha256=3369067a77fc73c31a15102a30e6f6990d98011c7be6cea6a00721dc063f11df (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,374   Found link https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz#sha256=5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15 (from https://pypi.org/simple/pymodelchecking/), version: 0.1.1
2020-06-03T13:29:46,374   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/8e/73/c20e1a361fcd3a9ecd95902b4d41c1ae2a17fa803bff0aad63828a7dea33/pyModelChecking-0.1.5-py2-none-any.whl#sha256=7509a6b806a2eb808cddfac605f39a3e7ad7a110d23da3b14bd30c1f08399c2c (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,375   Found link https://files.pythonhosted.org/packages/c4/ca/eb56d43ffd67db81a2e09578dc0df383d12bff5a47fd11402a8bf28ed002/pyModelChecking-0.1.5.tar.gz#sha256=41f8f07473e74d53bf30fcf5d3962011011cfab0fc083d2553098087205b075a (from https://pypi.org/simple/pymodelchecking/), version: 0.1.5
2020-06-03T13:29:46,376   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/8f/6a/08dff640207d8c22d0d2ba71451150609367029ed30496c36e7e1ff17368/pyModelChecking-0.2-py2-none-any.whl#sha256=5443a75a3880142024d239e0afd53ae566bd76f9cd7e167c4ee9adac5b197400 (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,376   Found link https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz#sha256=1ee62ae4eb16bfa86fd102d35344bffa00dfb7ec61fc089bcf9c7f073e6c8f25 (from https://pypi.org/simple/pymodelchecking/), version: 0.2
2020-06-03T13:29:46,377   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/9a/2c/a8c827c073ab1df85017add709ab1e798cc1e985628f5240fef0c8e1804d/pyModelChecking-1.0-py2-none-any.whl#sha256=6aa0ee4ac7b85c710eb3ed4eae27a286c002e78d371bad14bd1da13968ea9a5b (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,377   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/c4/15/77af5ea7532956c435f0c4c0c0292df219d937b049ccbf90d43518f2686a/pyModelChecking-1.0-py3-none-any.whl#sha256=294f926acce6a74010e69ef4590817ec4edb36b1fbb9b3a55c708d27ee8f0a73 (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,378   Found link https://files.pythonhosted.org/packages/e6/dc/22f226a6f19633eba5d2815e3df6abff59a2633a95f70678410fb8188e89/pyModelChecking-1.0.tar.gz#sha256=bf41b2bfa8ff8d125389c52cf14a5848f5ba89e048fa0b896684c460b18eef0d (from https://pypi.org/simple/pymodelchecking/), version: 1.0
2020-06-03T13:29:46,378   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/58/fb/17e633d0ff2412396bfda49de94aa9d9a717f071a75d9400f718898dedc9/pyModelChecking-1.0.1-py2-none-any.whl#sha256=0e0268cac59605ac16fa3b60b22df41c96d82c181d0a14694cbf5a25ae8e2986 (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,379   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/65/87/f1b2f2dfffda7da5330ea1081eada9d7771a844159e6f00a7dd5b87c4c7e/pyModelChecking-1.0.1-py3-none-any.whl#sha256=8e5b3c6251db8753745584dcb469cb3857ef89bf8912d7477f982e0b4684266d (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,379   Found link https://files.pythonhosted.org/packages/3d/67/08ddbf2eda782f151aebe4dfecb513ae704e3b5724b3458e55d8a3c6a5be/pyModelChecking-1.0.1.tar.gz#sha256=dd2324201cc276232d545a11b979ff1ba99452ffd81dc3ea04a405521981f373 (from https://pypi.org/simple/pymodelchecking/), version: 1.0.1
2020-06-03T13:29:46,380   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/b6/02/de096f91f61f01207a7b3ea93c8ac92c980efd1da2a61ed886e1a04041c3/pyModelChecking-1.1.1-py2-none-any.whl#sha256=dec0331940114ebdd7791e999e8666e5900b6ddf4adf82dd1f1873a6d5c961c1 (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,380   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/1d/38/243665d9cf53dab654e76a0e35fd99309c117bad54dc54e515048a6ae779/pyModelChecking-1.1.1-py3-none-any.whl#sha256=71f1b32904a1d3bf72f609f2295b4716f1213bbc307c3ffe28fb4ef7b08d244e (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,381   Found link https://files.pythonhosted.org/packages/f0/d5/bc95d76fbf2991f408e31c0aea6e51485dbca78dbcf61c386e12e43244da/pyModelChecking-1.1.1.tar.gz#sha256=cfc137df91778f17c041b65dcf0185a8614e56086b3ed4bf3c05db1d1e6d59dc (from https://pypi.org/simple/pymodelchecking/), version: 1.1.1
2020-06-03T13:29:46,381   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/fa/06/dd5c4c0ab976e22b8609ad2df644228fd3c49cebfca19eff52eb58be0a5d/pyModelChecking-1.2.0-py2.py3-none-any.whl#sha256=cdde4e552e2527dbb6c5a94b28460d39556021d1214be4e27efe2f430a11d429 (from https://pypi.org/simple/pymodelchecking/)
2020-06-03T13:29:46,382   Found link https://files.pythonhosted.org/packages/75/e3/32b2b922f521b29047a3338e646a843a84b66d29740df3d500b61819ebd8/pyModelChecking-1.2.0.tar.gz#sha256=301daa495a4f726e3aaa28d20ba01b8521c676a9418d042633565c900c6c1497 (from https://pypi.org/simple/pymodelchecking/), version: 1.2.0
2020-06-03T13:29:46,382   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/94/31/0986496afc08ac53133d2b9174f4aa7468d949a75228492da5906c9ccbc2/pyModelChecking-1.3.1-py3-none-any.whl#sha256=f2c98dfe55f7d1846fcd61e47eb969709dbbe6c04a54c0b3374495cbe1c330e0 (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6)
2020-06-03T13:29:46,383   Found link https://files.pythonhosted.org/packages/07/ff/5f3db2eeaa012341e7e4078ffba65e6720db0e4e5d36c3edf37f4d9baca3/pyModelChecking-1.3.1.tar.gz#sha256=30f7dd79c50adf56367bc0ee74c5a7757e3bad32ccfc362a77a23104052fe261 (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6), version: 1.3.1
2020-06-03T13:29:46,384   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/7d/a9/4a65231a03bf1f723bfc89234b545e9bdad05a6ba394f8be763624035ff0/pyModelChecking-1.3.2-py3-none-any.whl#sha256=454b06cb844687f3c66124b461f99f7453e8d046dc359fe098aa3c0bd4f0bb0c (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6)
2020-06-03T13:29:46,385   Found link https://files.pythonhosted.org/packages/fb/e9/6b0feef484a1e34aa614513e863132aa6f8459ca2c94eb78635232c8507d/pyModelChecking-1.3.2.tar.gz#sha256=34dec5fc914e59c81af9a0b66651004f24c33c4a08c394a152f39fbf37a52d19 (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6), version: 1.3.2
2020-06-03T13:29:46,385   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/71/cb/5d51b8a31ceaa750405dd12ca88016ab4d4e20732b5aa38bf26088cf0950/pyModelChecking-1.3.3-py3-none-any.whl#sha256=c8306b0048d12b5d80feb79e719bf33363d6cdbdaa2c015ac1021171ce2a2351 (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6)
2020-06-03T13:29:46,386   Found link https://files.pythonhosted.org/packages/d0/4b/31b5245144b1f8f48d120d192c7f44ac8d959689e3b216cd13eeccaeebc0/pyModelChecking-1.3.3.tar.gz#sha256=999e3a0016d4d447861cff8e51d091546ea9268f37bb02abeabe66d9c423fb5c (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6), version: 1.3.3
2020-06-03T13:29:46,397 Given no hashes to check 1 links for project 'pyModelChecking': discarding no candidates
2020-06-03T13:29:46,399 Using version 1.3.3 (newest of versions: 1.3.3)
2020-06-03T13:29:46,404 Collecting pyModelChecking==1.3.3
2020-06-03T13:29:46,408   Created temporary directory: /tmp/pip-unpack-q7epc05j
2020-06-03T13:29:46,615   Downloading pyModelChecking-1.3.3.tar.gz (33 kB)
2020-06-03T13:29:46,959   Added pyModelChecking==1.3.3 from https://files.pythonhosted.org/packages/d0/4b/31b5245144b1f8f48d120d192c7f44ac8d959689e3b216cd13eeccaeebc0/pyModelChecking-1.3.3.tar.gz#sha256=999e3a0016d4d447861cff8e51d091546ea9268f37bb02abeabe66d9c423fb5c to build tracker '/tmp/pip-req-tracker-0weh5byz'
2020-06-03T13:29:46,962     Running setup.py (path:/tmp/pip-wheel-n0dc_wye/pyModelChecking/setup.py) egg_info for package pyModelChecking
2020-06-03T13:29:46,964     Created temporary directory: /tmp/pip-pip-egg-info-6kwpta7t
2020-06-03T13:29:46,965     Running command python setup.py egg_info
2020-06-03T13:29:49,012     running egg_info
2020-06-03T13:29:49,016     creating /tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info
2020-06-03T13:29:49,018     writing /tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info/PKG-INFO
2020-06-03T13:29:49,023     writing dependency_links to /tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info/dependency_links.txt
2020-06-03T13:29:49,028     writing requirements to /tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info/requires.txt
2020-06-03T13:29:49,030     writing top-level names to /tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info/top_level.txt
2020-06-03T13:29:49,034     writing manifest file '/tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info/SOURCES.txt'
2020-06-03T13:29:49,341     reading manifest file '/tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info/SOURCES.txt'
2020-06-03T13:29:49,345     reading manifest template 'MANIFEST.in'
2020-06-03T13:29:49,353     writing manifest file '/tmp/pip-pip-egg-info-6kwpta7t/pyModelChecking.egg-info/SOURCES.txt'
2020-06-03T13:29:49,476   Source in /tmp/pip-wheel-n0dc_wye/pyModelChecking has version 1.3.3, which satisfies requirement pyModelChecking==1.3.3 from https://files.pythonhosted.org/packages/d0/4b/31b5245144b1f8f48d120d192c7f44ac8d959689e3b216cd13eeccaeebc0/pyModelChecking-1.3.3.tar.gz#sha256=999e3a0016d4d447861cff8e51d091546ea9268f37bb02abeabe66d9c423fb5c
2020-06-03T13:29:49,477   Removed pyModelChecking==1.3.3 from https://files.pythonhosted.org/packages/d0/4b/31b5245144b1f8f48d120d192c7f44ac8d959689e3b216cd13eeccaeebc0/pyModelChecking-1.3.3.tar.gz#sha256=999e3a0016d4d447861cff8e51d091546ea9268f37bb02abeabe66d9c423fb5c from build tracker '/tmp/pip-req-tracker-0weh5byz'
2020-06-03T13:29:49,483 Building wheels for collected packages: pyModelChecking
2020-06-03T13:29:49,493   Created temporary directory: /tmp/pip-wheel-wyrsszvd
2020-06-03T13:29:49,494   Building wheel for pyModelChecking (setup.py): started
2020-06-03T13:29:49,495   Destination directory: /tmp/pip-wheel-wyrsszvd
2020-06-03T13:29:49,495   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-n0dc_wye/pyModelChecking/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-n0dc_wye/pyModelChecking/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-wyrsszvd
2020-06-03T13:29:51,485   running bdist_wheel
2020-06-03T13:29:51,499   running build
2020-06-03T13:29:51,500   running build_py
2020-06-03T13:29:51,774   creating build
2020-06-03T13:29:51,775   creating build/lib
2020-06-03T13:29:51,776   creating build/lib/pyModelChecking
2020-06-03T13:29:51,779   copying pyModelChecking/__init__.py -> build/lib/pyModelChecking
2020-06-03T13:29:51,784   copying pyModelChecking/kripke.py -> build/lib/pyModelChecking
2020-06-03T13:29:51,789   copying pyModelChecking/parser.py -> build/lib/pyModelChecking
2020-06-03T13:29:51,793   copying pyModelChecking/language.py -> build/lib/pyModelChecking
2020-06-03T13:29:51,799   copying pyModelChecking/graph.py -> build/lib/pyModelChecking
2020-06-03T13:29:51,807   creating build/lib/pyModelChecking/BDD
2020-06-03T13:29:51,809   copying pyModelChecking/BDD/OBDD.py -> build/lib/pyModelChecking/BDD
2020-06-03T13:29:51,817   copying pyModelChecking/BDD/__init__.py -> build/lib/pyModelChecking/BDD
2020-06-03T13:29:51,822   copying pyModelChecking/BDD/BDD.py -> build/lib/pyModelChecking/BDD
2020-06-03T13:29:51,830   copying pyModelChecking/BDD/ordering.py -> build/lib/pyModelChecking/BDD
2020-06-03T13:29:51,838   creating build/lib/pyModelChecking/LTL
2020-06-03T13:29:51,840   copying pyModelChecking/LTL/__init__.py -> build/lib/pyModelChecking/LTL
2020-06-03T13:29:51,847   copying pyModelChecking/LTL/parser.py -> build/lib/pyModelChecking/LTL
2020-06-03T13:29:51,853   copying pyModelChecking/LTL/language.py -> build/lib/pyModelChecking/LTL
2020-06-03T13:29:51,859   copying pyModelChecking/LTL/model_checking.py -> build/lib/pyModelChecking/LTL
2020-06-03T13:29:51,868   creating build/lib/pyModelChecking/CTLS
2020-06-03T13:29:51,870   copying pyModelChecking/CTLS/__init__.py -> build/lib/pyModelChecking/CTLS
2020-06-03T13:29:51,877   copying pyModelChecking/CTLS/parser.py -> build/lib/pyModelChecking/CTLS
2020-06-03T13:29:51,883   copying pyModelChecking/CTLS/language.py -> build/lib/pyModelChecking/CTLS
2020-06-03T13:29:51,900   copying pyModelChecking/CTLS/model_checking.py -> build/lib/pyModelChecking/CTLS
2020-06-03T13:29:51,910   creating build/lib/pyModelChecking/tests
2020-06-03T13:29:51,913   copying pyModelChecking/tests/test_CTLS_language.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,920   copying pyModelChecking/tests/__init__.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,924   copying pyModelChecking/tests/test_CTL_modelchecking.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,929   copying pyModelChecking/tests/test_LTL_parser.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,933   copying pyModelChecking/tests/test_CTL_parser.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,938   copying pyModelChecking/tests/test_OBDD.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,942   copying pyModelChecking/tests/test_kripke.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,948   copying pyModelChecking/tests/test_CTL_language.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,955   copying pyModelChecking/tests/test_CTLS_modelchecking.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,960   copying pyModelChecking/tests/test_LTL_language.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,967   copying pyModelChecking/tests/test_LTL_modelchecking.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,973   copying pyModelChecking/tests/test_CTLS_parser.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,980   copying pyModelChecking/tests/test_graph.py -> build/lib/pyModelChecking/tests
2020-06-03T13:29:51,987   creating build/lib/pyModelChecking/PL
2020-06-03T13:29:51,990   copying pyModelChecking/PL/__init__.py -> build/lib/pyModelChecking/PL
2020-06-03T13:29:51,996   copying pyModelChecking/PL/parser.py -> build/lib/pyModelChecking/PL
2020-06-03T13:29:52,002   copying pyModelChecking/PL/language.py -> build/lib/pyModelChecking/PL
2020-06-03T13:29:52,011   creating build/lib/pyModelChecking/CTL
2020-06-03T13:29:52,014   copying pyModelChecking/CTL/__init__.py -> build/lib/pyModelChecking/CTL
2020-06-03T13:29:52,020   copying pyModelChecking/CTL/parser.py -> build/lib/pyModelChecking/CTL
2020-06-03T13:29:52,026   copying pyModelChecking/CTL/language.py -> build/lib/pyModelChecking/CTL
2020-06-03T13:29:52,034   copying pyModelChecking/CTL/model_checking.py -> build/lib/pyModelChecking/CTL
2020-06-03T13:29:52,058   installing to build/bdist.linux-armv7l/wheel
2020-06-03T13:29:52,058   running install
2020-06-03T13:29:52,060   running install_lib
2020-06-03T13:29:52,067   creating build/bdist.linux-armv7l
2020-06-03T13:29:52,067   creating build/bdist.linux-armv7l/wheel
2020-06-03T13:29:52,071   creating build/bdist.linux-armv7l/wheel/pyModelChecking
2020-06-03T13:29:52,075   creating build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-06-03T13:29:52,077   copying build/lib/pyModelChecking/BDD/OBDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-06-03T13:29:52,083   copying build/lib/pyModelChecking/BDD/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-06-03T13:29:52,087   copying build/lib/pyModelChecking/BDD/BDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-06-03T13:29:52,095   copying build/lib/pyModelChecking/BDD/ordering.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-06-03T13:29:52,101   copying build/lib/pyModelChecking/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-06-03T13:29:52,106   copying build/lib/pyModelChecking/kripke.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-06-03T13:29:52,114   creating build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-06-03T13:29:52,117   copying build/lib/pyModelChecking/LTL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-06-03T13:29:52,122   copying build/lib/pyModelChecking/LTL/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-06-03T13:29:52,128   copying build/lib/pyModelChecking/LTL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-06-03T13:29:52,134   copying build/lib/pyModelChecking/LTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-06-03T13:29:52,141   copying build/lib/pyModelChecking/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-06-03T13:29:52,147   copying build/lib/pyModelChecking/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-06-03T13:29:52,154   copying build/lib/pyModelChecking/graph.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-06-03T13:29:52,162   creating build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-06-03T13:29:52,165   copying build/lib/pyModelChecking/CTLS/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-06-03T13:29:52,170   copying build/lib/pyModelChecking/CTLS/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-06-03T13:29:52,176   copying build/lib/pyModelChecking/CTLS/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-06-03T13:29:52,184   copying build/lib/pyModelChecking/CTLS/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-06-03T13:29:52,192   creating build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,194   copying build/lib/pyModelChecking/tests/test_CTLS_language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,202   copying build/lib/pyModelChecking/tests/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,206   copying build/lib/pyModelChecking/tests/test_CTL_modelchecking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,212   copying build/lib/pyModelChecking/tests/test_LTL_parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,218   copying build/lib/pyModelChecking/tests/test_CTL_parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,224   copying build/lib/pyModelChecking/tests/test_OBDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,230   copying build/lib/pyModelChecking/tests/test_kripke.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,236   copying build/lib/pyModelChecking/tests/test_CTL_language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,242   copying build/lib/pyModelChecking/tests/test_CTLS_modelchecking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,247   copying build/lib/pyModelChecking/tests/test_LTL_language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,254   copying build/lib/pyModelChecking/tests/test_LTL_modelchecking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,259   copying build/lib/pyModelChecking/tests/test_CTLS_parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,265   copying build/lib/pyModelChecking/tests/test_graph.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-06-03T13:29:52,272   creating build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-06-03T13:29:52,275   copying build/lib/pyModelChecking/PL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-06-03T13:29:52,281   copying build/lib/pyModelChecking/PL/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-06-03T13:29:52,287   copying build/lib/pyModelChecking/PL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-06-03T13:29:52,295   creating build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-06-03T13:29:52,298   copying build/lib/pyModelChecking/CTL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-06-03T13:29:52,304   copying build/lib/pyModelChecking/CTL/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-06-03T13:29:52,310   copying build/lib/pyModelChecking/CTL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-06-03T13:29:52,317   copying build/lib/pyModelChecking/CTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-06-03T13:29:52,323   running install_egg_info
2020-06-03T13:29:52,363   running egg_info
2020-06-03T13:29:52,365   writing pyModelChecking.egg-info/PKG-INFO
2020-06-03T13:29:52,370   writing dependency_links to pyModelChecking.egg-info/dependency_links.txt
2020-06-03T13:29:52,374   writing requirements to pyModelChecking.egg-info/requires.txt
2020-06-03T13:29:52,377   writing top-level names to pyModelChecking.egg-info/top_level.txt
2020-06-03T13:29:52,395   reading manifest file 'pyModelChecking.egg-info/SOURCES.txt'
2020-06-03T13:29:52,400   reading manifest template 'MANIFEST.in'
2020-06-03T13:29:52,409   writing manifest file 'pyModelChecking.egg-info/SOURCES.txt'
2020-06-03T13:29:52,412   Copying pyModelChecking.egg-info to build/bdist.linux-armv7l/wheel/pyModelChecking-1.3.3-py3.7.egg-info
2020-06-03T13:29:52,439   running install_scripts
2020-06-03T13:29:52,582   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2020-06-03T13:29:52,594   creating build/bdist.linux-armv7l/wheel/pyModelChecking-1.3.3.dist-info/WHEEL
2020-06-03T13:29:52,600   creating '/tmp/pip-wheel-wyrsszvd/pyModelChecking-1.3.3-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2020-06-03T13:29:52,607   adding 'pyModelChecking/__init__.py'
2020-06-03T13:29:52,612   adding 'pyModelChecking/graph.py'
2020-06-03T13:29:52,617   adding 'pyModelChecking/kripke.py'
2020-06-03T13:29:52,623   adding 'pyModelChecking/language.py'
2020-06-03T13:29:52,625   adding 'pyModelChecking/parser.py'
2020-06-03T13:29:52,631   adding 'pyModelChecking/BDD/BDD.py'
2020-06-03T13:29:52,635   adding 'pyModelChecking/BDD/OBDD.py'
2020-06-03T13:29:52,637   adding 'pyModelChecking/BDD/__init__.py'
2020-06-03T13:29:52,640   adding 'pyModelChecking/BDD/ordering.py'
2020-06-03T13:29:52,644   adding 'pyModelChecking/CTL/__init__.py'
2020-06-03T13:29:52,647   adding 'pyModelChecking/CTL/language.py'
2020-06-03T13:29:52,650   adding 'pyModelChecking/CTL/model_checking.py'
2020-06-03T13:29:52,653   adding 'pyModelChecking/CTL/parser.py'
2020-06-03T13:29:52,656   adding 'pyModelChecking/CTLS/__init__.py'
2020-06-03T13:29:52,660   adding 'pyModelChecking/CTLS/language.py'
2020-06-03T13:29:52,663   adding 'pyModelChecking/CTLS/model_checking.py'
2020-06-03T13:29:52,666   adding 'pyModelChecking/CTLS/parser.py'
2020-06-03T13:29:52,670   adding 'pyModelChecking/LTL/__init__.py'
2020-06-03T13:29:52,672   adding 'pyModelChecking/LTL/language.py'
2020-06-03T13:29:52,676   adding 'pyModelChecking/LTL/model_checking.py'
2020-06-03T13:29:52,678   adding 'pyModelChecking/LTL/parser.py'
2020-06-03T13:29:52,682   adding 'pyModelChecking/PL/__init__.py'
2020-06-03T13:29:52,685   adding 'pyModelChecking/PL/language.py'
2020-06-03T13:29:52,688   adding 'pyModelChecking/PL/parser.py'
2020-06-03T13:29:52,692   adding 'pyModelChecking/tests/__init__.py'
2020-06-03T13:29:52,695   adding 'pyModelChecking/tests/test_CTLS_language.py'
2020-06-03T13:29:52,698   adding 'pyModelChecking/tests/test_CTLS_modelchecking.py'
2020-06-03T13:29:52,700   adding 'pyModelChecking/tests/test_CTLS_parser.py'
2020-06-03T13:29:52,703   adding 'pyModelChecking/tests/test_CTL_language.py'
2020-06-03T13:29:52,706   adding 'pyModelChecking/tests/test_CTL_modelchecking.py'
2020-06-03T13:29:52,709   adding 'pyModelChecking/tests/test_CTL_parser.py'
2020-06-03T13:29:52,711   adding 'pyModelChecking/tests/test_LTL_language.py'
2020-06-03T13:29:52,714   adding 'pyModelChecking/tests/test_LTL_modelchecking.py'
2020-06-03T13:29:52,717   adding 'pyModelChecking/tests/test_LTL_parser.py'
2020-06-03T13:29:52,719   adding 'pyModelChecking/tests/test_OBDD.py'
2020-06-03T13:29:52,722   adding 'pyModelChecking/tests/test_graph.py'
2020-06-03T13:29:52,725   adding 'pyModelChecking/tests/test_kripke.py'
2020-06-03T13:29:52,729   adding 'pyModelChecking-1.3.3.dist-info/LICENSE'
2020-06-03T13:29:52,732   adding 'pyModelChecking-1.3.3.dist-info/METADATA'
2020-06-03T13:29:52,734   adding 'pyModelChecking-1.3.3.dist-info/WHEEL'
2020-06-03T13:29:52,736   adding 'pyModelChecking-1.3.3.dist-info/top_level.txt'
2020-06-03T13:29:52,738   adding 'pyModelChecking-1.3.3.dist-info/RECORD'
2020-06-03T13:29:52,745   removing build/bdist.linux-armv7l/wheel
2020-06-03T13:29:52,915   Building wheel for pyModelChecking (setup.py): finished with status 'done'
2020-06-03T13:29:52,919   Created wheel for pyModelChecking: filename=pyModelChecking-1.3.3-py3-none-any.whl size=47356 sha256=fcab833b574de6590cb644b9848e9005ddd150487adb869c8d68657e103a97ef
2020-06-03T13:29:52,920   Stored in directory: /tmp/pip-ephem-wheel-cache-wm0zy168/wheels/18/9f/45/011eb456ddcdfedbcbb95d5ebb9685a318ac9591715afea17a
2020-06-03T13:29:52,924 Successfully built pyModelChecking
2020-06-03T13:29:52,940 Removed build tracker: '/tmp/pip-req-tracker-0weh5byz'