Collecting pySMT==0.7.5 1 location(s) to search for versions of pySMT: * https://pypi.python.org/simple/pysmt/ Getting page https://pypi.python.org/simple/pysmt/ Analyzing links from page https://pypi.org/simple/pysmt/ 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Using version 0.7.5 (newest of versions: 0.7.5) Downloading https://files.pythonhosted.org/packages/64/ed/f04e47a6505bbcdc2531dfac71b7227f5299b65e93f15f819c7341f67e92/PySMT-0.7.5.tar.gz (232kB) Downloading from URL https://files.pythonhosted.org/packages/64/ed/f04e47a6505bbcdc2531dfac71b7227f5299b65e93f15f819c7341f67e92/PySMT-0.7.5.tar.gz#sha256=48c23710e85195918b87b4ce12b109875ed118c47d9371e738ffa17b4aaa7dd5 (from https://pypi.org/simple/pysmt/) Running setup.py (path:/tmp/pip-build-dt9wpb89/pySMT/setup.py) egg_info for package pySMT Running command python setup.py egg_info running egg_info creating pip-egg-info/PySMT.egg-info writing requirements to pip-egg-info/PySMT.egg-info/requires.txt writing top-level names to pip-egg-info/PySMT.egg-info/top_level.txt writing entry points to pip-egg-info/PySMT.egg-info/entry_points.txt writing pip-egg-info/PySMT.egg-info/PKG-INFO writing dependency_links to pip-egg-info/PySMT.egg-info/dependency_links.txt writing manifest file 'pip-egg-info/PySMT.egg-info/SOURCES.txt' reading manifest file 'pip-egg-info/PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'pip-egg-info/PySMT.egg-info/SOURCES.txt' Source in /tmp/pip-build-dt9wpb89/pySMT has version 0.7.5, which satisfies requirement pySMT==0.7.5 from https://files.pythonhosted.org/packages/64/ed/f04e47a6505bbcdc2531dfac71b7227f5299b65e93f15f819c7341f67e92/PySMT-0.7.5.tar.gz#sha256=48c23710e85195918b87b4ce12b109875ed118c47d9371e738ffa17b4aaa7dd5 Building wheels for collected packages: pySMT Running setup.py bdist_wheel for pySMT: started Destination directory: /tmp/tmpdewcvz1fpip-wheel- Running command /usr/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-dt9wpb89/pySMT/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/tmpdewcvz1fpip-wheel- running bdist_wheel running build running build_py creating build creating build/lib creating build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt creating build/lib/pysmt/solvers copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers copying pysmt/solvers/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers creating build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers creating build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib creating build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd creating build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_formula.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test creating build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser creating build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvc4gpl.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers creating build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib running egg_info writing entry points to PySMT.egg-info/entry_points.txt writing top-level names to PySMT.egg-info/top_level.txt writing PySMT.egg-info/PKG-INFO writing requirements to PySMT.egg-info/requires.txt writing dependency_links to PySMT.egg-info/dependency_links.txt reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'PySMT.egg-info/SOURCES.txt' installing to build/bdist.linux-armv7l/wheel running install running install_lib creating build/bdist.linux-armv7l creating build/bdist.linux-armv7l/wheel creating build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/substituter.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/fnode.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/type_checker.py -> build/bdist.linux-armv7l/wheel/pysmt creating build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-armv7l/wheel/pysmt/solvers copying build/lib/pysmt/operators.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/logics.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/exceptions.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/utils.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/simplifier.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/typing.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/formula.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/printers.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/parsing.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/factory.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/environment.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/constants.py -> build/bdist.linux-armv7l/wheel/pysmt creating build/bdist.linux-armv7l/wheel/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-armv7l/wheel/pysmt/walkers copying build/lib/pysmt/configuration.py -> build/bdist.linux-armv7l/wheel/pysmt creating build/bdist.linux-armv7l/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib creating build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser creating build/bdist.linux-armv7l/wheel/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd creating build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4gpl.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-armv7l/wheel/pysmt/cmd/installers copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/oracles.py -> build/bdist.linux-armv7l/wheel/pysmt copying build/lib/pysmt/rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt creating build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-armv7l/wheel/pysmt/test creating build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-armv7l/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-armv7l/wheel/pysmt/test copying build/lib/pysmt/decorators.py -> build/bdist.linux-armv7l/wheel/pysmt running install_egg_info Copying PySMT.egg-info to build/bdist.linux-armv7l/wheel/PySMT-0.7.5-py3.4.egg-info running install_scripts creating build/bdist.linux-armv7l/wheel/PySMT-0.7.5.dist-info/WHEEL Running setup.py bdist_wheel for pySMT: finished with status 'done' Stored in directory: /tmp/tmp0nhd0wz1 Successfully built pySMT Cleaning up... Removing source in /tmp/pip-build-dt9wpb89/pySMT