Created temporary directory: /tmp/pip-ephem-wheel-cache-ijkxfuig Created temporary directory: /tmp/pip-req-tracker-ff4xdspg Created requirements tracker '/tmp/pip-req-tracker-ff4xdspg' Created temporary directory: /tmp/pip-wheel-dje23cis Collecting pycscl==0.2.0 1 location(s) to search for versions of pycscl: * https://pypi.org/simple/pycscl/ Getting page https://pypi.org/simple/pycscl/ Analyzing links from page https://pypi.org/simple/pycscl/ Found link https://files.pythonhosted.org/packages/c8/04/fa09ac1db99dfba83aa3ae916faaa11c7d8192d55815d7d3ecf8dd772b46/pycscl-0.1.0.tar.gz#sha256=b8cf6f058665a7c485ac350f8e24fffd3e0652309d02ede62999c8022df29786 (from https://pypi.org/simple/pycscl/), version: 0.1.0 Found link https://files.pythonhosted.org/packages/33/e7/492dcb1b4ceb8a402131b75b6a28d773451e3065a87124cd40fd9a7a6838/pycscl-0.2.0.tar.gz#sha256=cc8cca22d8c3ec211f87fb1c53f281f7e4b62559a6f18fb5baf6e7b58d1c18a7 (from https://pypi.org/simple/pycscl/), version: 0.2.0 Using version 0.2.0 (newest of versions: 0.2.0) Created temporary directory: /tmp/pip-unpack-ketd9zei Downloading https://files.pythonhosted.org/packages/33/e7/492dcb1b4ceb8a402131b75b6a28d773451e3065a87124cd40fd9a7a6838/pycscl-0.2.0.tar.gz (53kB) Downloading from URL https://files.pythonhosted.org/packages/33/e7/492dcb1b4ceb8a402131b75b6a28d773451e3065a87124cd40fd9a7a6838/pycscl-0.2.0.tar.gz#sha256=cc8cca22d8c3ec211f87fb1c53f281f7e4b62559a6f18fb5baf6e7b58d1c18a7 (from https://pypi.org/simple/pycscl/) Added pycscl==0.2.0 from https://files.pythonhosted.org/packages/33/e7/492dcb1b4ceb8a402131b75b6a28d773451e3065a87124cd40fd9a7a6838/pycscl-0.2.0.tar.gz#sha256=cc8cca22d8c3ec211f87fb1c53f281f7e4b62559a6f18fb5baf6e7b58d1c18a7 to build tracker '/tmp/pip-req-tracker-ff4xdspg' Running setup.py (path:/tmp/pip-wheel-dje23cis/pycscl/setup.py) egg_info for package pycscl Running command python setup.py egg_info running egg_info creating pip-egg-info/pycscl.egg-info writing top-level names to pip-egg-info/pycscl.egg-info/top_level.txt writing dependency_links to pip-egg-info/pycscl.egg-info/dependency_links.txt writing pip-egg-info/pycscl.egg-info/PKG-INFO writing manifest file 'pip-egg-info/pycscl.egg-info/SOURCES.txt' reading manifest file 'pip-egg-info/pycscl.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' no previously-included directories found matching '__pycache__' writing manifest file 'pip-egg-info/pycscl.egg-info/SOURCES.txt' Source in /tmp/pip-wheel-dje23cis/pycscl has version 0.2.0, which satisfies requirement pycscl==0.2.0 from https://files.pythonhosted.org/packages/33/e7/492dcb1b4ceb8a402131b75b6a28d773451e3065a87124cd40fd9a7a6838/pycscl-0.2.0.tar.gz#sha256=cc8cca22d8c3ec211f87fb1c53f281f7e4b62559a6f18fb5baf6e7b58d1c18a7 Removed pycscl==0.2.0 from https://files.pythonhosted.org/packages/33/e7/492dcb1b4ceb8a402131b75b6a28d773451e3065a87124cd40fd9a7a6838/pycscl-0.2.0.tar.gz#sha256=cc8cca22d8c3ec211f87fb1c53f281f7e4b62559a6f18fb5baf6e7b58d1c18a7 from build tracker '/tmp/pip-req-tracker-ff4xdspg' Building wheels for collected packages: pycscl Created temporary directory: /tmp/pip-wheel-etxhjsqh Running setup.py bdist_wheel for pycscl: started Destination directory: /tmp/pip-wheel-etxhjsqh Running command /usr/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-wheel-dje23cis/pycscl/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-etxhjsqh running bdist_wheel running build running build_py creating build creating build/lib creating build/lib/cscl_examples copying cscl_examples/factorization.py -> build/lib/cscl_examples copying cscl_examples/sudoku.py -> build/lib/cscl_examples copying cscl_examples/__init__.py -> build/lib/cscl_examples creating build/lib/cscl copying cscl/interfaces.py -> build/lib/cscl copying cscl/cardinality_constraint_encoders.py -> build/lib/cscl copying cscl/__init__.py -> build/lib/cscl copying cscl/ipasir.py -> build/lib/cscl copying cscl/dimacs_printer.py -> build/lib/cscl copying cscl/bitvector_gate_encoders.py -> build/lib/cscl copying cscl/basic_gate_encoders.py -> build/lib/cscl creating build/lib/cscl_tests copying cscl_tests/__init__.py -> build/lib/cscl_tests creating build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/sorts.py -> build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/__init__.py -> build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/ast.py -> build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/smtlib2_parser.py -> build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/ast_transformers.py -> build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/syntactic_scope.py -> build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/theories.py -> build/lib/cscl_examples/smt_qfbv_solver copying cscl_examples/smt_qfbv_solver/sexp_parser.py -> build/lib/cscl_examples/smt_qfbv_solver creating build/lib/cscl_tests/testutils copying cscl_tests/testutils/__init__.py -> build/lib/cscl_tests/testutils copying cscl_tests/testutils/trivial_sat_solver.py -> build/lib/cscl_tests/testutils copying cscl_tests/testutils/test_trivial_sat_solver.py -> build/lib/cscl_tests/testutils copying cscl_tests/testutils/logging_clause_consumer_decorator.py -> build/lib/cscl_tests/testutils creating build/lib/cscl_tests/examples copying cscl_tests/examples/__init__.py -> build/lib/cscl_tests/examples copying cscl_tests/examples/test_factorization.py -> build/lib/cscl_tests/examples copying cscl_tests/examples/test_sudoku.py -> build/lib/cscl_tests/examples creating build/lib/cscl_tests/cscl copying cscl_tests/cscl/__init__.py -> build/lib/cscl_tests/cscl creating build/lib/cscl_tests/examples/smt_qfbv_solver copying cscl_tests/examples/smt_qfbv_solver/__init__.py -> build/lib/cscl_tests/examples/smt_qfbv_solver creating build/lib/cscl_tests/examples/smt_qfbv_solver/unit copying cscl_tests/examples/smt_qfbv_solver/unit/test_sexp_parser.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/unit copying cscl_tests/examples/smt_qfbv_solver/unit/__init__.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/unit copying cscl_tests/examples/smt_qfbv_solver/unit/test_ast_transformers.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/unit copying cscl_tests/examples/smt_qfbv_solver/unit/test_sorts.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/unit copying cscl_tests/examples/smt_qfbv_solver/unit/test_theories.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/unit copying cscl_tests/examples/smt_qfbv_solver/unit/test_smtlib2_parser.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/unit copying cscl_tests/examples/smt_qfbv_solver/unit/test_syntactic_scope.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/unit creating build/lib/cscl_tests/examples/smt_qfbv_solver/integration copying cscl_tests/examples/smt_qfbv_solver/integration/test_str_to_smtlib2_parser.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/integration copying cscl_tests/examples/smt_qfbv_solver/integration/__init__.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/integration copying cscl_tests/examples/smt_qfbv_solver/integration/test_str_to_inlined_ast.py -> build/lib/cscl_tests/examples/smt_qfbv_solver/integration creating build/lib/cscl_tests/cscl/unit copying cscl_tests/cscl/unit/test_basic_gate_encoders.py -> build/lib/cscl_tests/cscl/unit copying cscl_tests/cscl/unit/__init__.py -> build/lib/cscl_tests/cscl/unit copying cscl_tests/cscl/unit/test_cardinality_constraint_encoders.py -> build/lib/cscl_tests/cscl/unit copying cscl_tests/cscl/unit/test_bitvector_gate_encoders.py -> build/lib/cscl_tests/cscl/unit copying cscl_tests/cscl/unit/test_dimacs_printer.py -> build/lib/cscl_tests/cscl/unit 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/cscl_examples copying build/lib/cscl_examples/factorization.py -> build/bdist.linux-armv7l/wheel/cscl_examples copying build/lib/cscl_examples/sudoku.py -> build/bdist.linux-armv7l/wheel/cscl_examples copying build/lib/cscl_examples/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_examples creating build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/sorts.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/ast.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/smtlib2_parser.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/ast_transformers.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/syntactic_scope.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/theories.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver copying build/lib/cscl_examples/smt_qfbv_solver/sexp_parser.py -> build/bdist.linux-armv7l/wheel/cscl_examples/smt_qfbv_solver creating build/bdist.linux-armv7l/wheel/cscl copying build/lib/cscl/interfaces.py -> build/bdist.linux-armv7l/wheel/cscl copying build/lib/cscl/cardinality_constraint_encoders.py -> build/bdist.linux-armv7l/wheel/cscl copying build/lib/cscl/__init__.py -> build/bdist.linux-armv7l/wheel/cscl copying build/lib/cscl/ipasir.py -> build/bdist.linux-armv7l/wheel/cscl copying build/lib/cscl/dimacs_printer.py -> build/bdist.linux-armv7l/wheel/cscl copying build/lib/cscl/bitvector_gate_encoders.py -> build/bdist.linux-armv7l/wheel/cscl copying build/lib/cscl/basic_gate_encoders.py -> build/bdist.linux-armv7l/wheel/cscl creating build/bdist.linux-armv7l/wheel/cscl_tests copying build/lib/cscl_tests/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests creating build/bdist.linux-armv7l/wheel/cscl_tests/testutils copying build/lib/cscl_tests/testutils/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests/testutils copying build/lib/cscl_tests/testutils/trivial_sat_solver.py -> build/bdist.linux-armv7l/wheel/cscl_tests/testutils copying build/lib/cscl_tests/testutils/test_trivial_sat_solver.py -> build/bdist.linux-armv7l/wheel/cscl_tests/testutils copying build/lib/cscl_tests/testutils/logging_clause_consumer_decorator.py -> build/bdist.linux-armv7l/wheel/cscl_tests/testutils creating build/bdist.linux-armv7l/wheel/cscl_tests/examples copying build/lib/cscl_tests/examples/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples copying build/lib/cscl_tests/examples/test_factorization.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples copying build/lib/cscl_tests/examples/test_sudoku.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples creating build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver creating build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/unit/test_sexp_parser.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/unit/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/unit/test_ast_transformers.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/unit/test_sorts.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/unit/test_theories.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/unit/test_smtlib2_parser.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/unit/test_syntactic_scope.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/unit copying build/lib/cscl_tests/examples/smt_qfbv_solver/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver creating build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/integration copying build/lib/cscl_tests/examples/smt_qfbv_solver/integration/test_str_to_smtlib2_parser.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/integration copying build/lib/cscl_tests/examples/smt_qfbv_solver/integration/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/integration copying build/lib/cscl_tests/examples/smt_qfbv_solver/integration/test_str_to_inlined_ast.py -> build/bdist.linux-armv7l/wheel/cscl_tests/examples/smt_qfbv_solver/integration creating build/bdist.linux-armv7l/wheel/cscl_tests/cscl creating build/bdist.linux-armv7l/wheel/cscl_tests/cscl/unit copying build/lib/cscl_tests/cscl/unit/test_basic_gate_encoders.py -> build/bdist.linux-armv7l/wheel/cscl_tests/cscl/unit copying build/lib/cscl_tests/cscl/unit/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests/cscl/unit copying build/lib/cscl_tests/cscl/unit/test_cardinality_constraint_encoders.py -> build/bdist.linux-armv7l/wheel/cscl_tests/cscl/unit copying build/lib/cscl_tests/cscl/unit/test_bitvector_gate_encoders.py -> build/bdist.linux-armv7l/wheel/cscl_tests/cscl/unit copying build/lib/cscl_tests/cscl/unit/test_dimacs_printer.py -> build/bdist.linux-armv7l/wheel/cscl_tests/cscl/unit copying build/lib/cscl_tests/cscl/__init__.py -> build/bdist.linux-armv7l/wheel/cscl_tests/cscl running install_egg_info running egg_info creating pycscl.egg-info writing pycscl.egg-info/PKG-INFO writing dependency_links to pycscl.egg-info/dependency_links.txt writing top-level names to pycscl.egg-info/top_level.txt writing manifest file 'pycscl.egg-info/SOURCES.txt' reading manifest file 'pycscl.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' no previously-included directories found matching '__pycache__' writing manifest file 'pycscl.egg-info/SOURCES.txt' Copying pycscl.egg-info to build/bdist.linux-armv7l/wheel/pycscl-0.2.0-py3.4.egg-info running install_scripts adding license file "LICENSE" (matched pattern "LICEN[CS]E*") creating build/bdist.linux-armv7l/wheel/pycscl-0.2.0.dist-info/WHEEL creating '/tmp/pip-wheel-etxhjsqh/pycscl-0.2.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it adding 'cscl/__init__.py' adding 'cscl/basic_gate_encoders.py' adding 'cscl/bitvector_gate_encoders.py' adding 'cscl/cardinality_constraint_encoders.py' adding 'cscl/dimacs_printer.py' adding 'cscl/interfaces.py' adding 'cscl/ipasir.py' adding 'cscl_examples/__init__.py' adding 'cscl_examples/factorization.py' adding 'cscl_examples/sudoku.py' adding 'cscl_examples/smt_qfbv_solver/__init__.py' adding 'cscl_examples/smt_qfbv_solver/ast.py' adding 'cscl_examples/smt_qfbv_solver/ast_transformers.py' adding 'cscl_examples/smt_qfbv_solver/sexp_parser.py' adding 'cscl_examples/smt_qfbv_solver/smtlib2_parser.py' adding 'cscl_examples/smt_qfbv_solver/sorts.py' adding 'cscl_examples/smt_qfbv_solver/syntactic_scope.py' adding 'cscl_examples/smt_qfbv_solver/theories.py' adding 'cscl_tests/__init__.py' adding 'cscl_tests/cscl/__init__.py' adding 'cscl_tests/cscl/unit/__init__.py' adding 'cscl_tests/cscl/unit/test_basic_gate_encoders.py' adding 'cscl_tests/cscl/unit/test_bitvector_gate_encoders.py' adding 'cscl_tests/cscl/unit/test_cardinality_constraint_encoders.py' adding 'cscl_tests/cscl/unit/test_dimacs_printer.py' adding 'cscl_tests/examples/__init__.py' adding 'cscl_tests/examples/test_factorization.py' adding 'cscl_tests/examples/test_sudoku.py' adding 'cscl_tests/examples/smt_qfbv_solver/__init__.py' adding 'cscl_tests/examples/smt_qfbv_solver/integration/__init__.py' adding 'cscl_tests/examples/smt_qfbv_solver/integration/test_str_to_inlined_ast.py' adding 'cscl_tests/examples/smt_qfbv_solver/integration/test_str_to_smtlib2_parser.py' adding 'cscl_tests/examples/smt_qfbv_solver/unit/__init__.py' adding 'cscl_tests/examples/smt_qfbv_solver/unit/test_ast_transformers.py' adding 'cscl_tests/examples/smt_qfbv_solver/unit/test_sexp_parser.py' adding 'cscl_tests/examples/smt_qfbv_solver/unit/test_smtlib2_parser.py' adding 'cscl_tests/examples/smt_qfbv_solver/unit/test_sorts.py' adding 'cscl_tests/examples/smt_qfbv_solver/unit/test_syntactic_scope.py' adding 'cscl_tests/examples/smt_qfbv_solver/unit/test_theories.py' adding 'cscl_tests/testutils/__init__.py' adding 'cscl_tests/testutils/logging_clause_consumer_decorator.py' adding 'cscl_tests/testutils/test_trivial_sat_solver.py' adding 'cscl_tests/testutils/trivial_sat_solver.py' adding 'pycscl-0.2.0.dist-info/LICENSE' adding 'pycscl-0.2.0.dist-info/METADATA' adding 'pycscl-0.2.0.dist-info/WHEEL' adding 'pycscl-0.2.0.dist-info/top_level.txt' adding 'pycscl-0.2.0.dist-info/RECORD' removing build/bdist.linux-armv7l/wheel Running setup.py bdist_wheel for pycscl: finished with status 'done' Stored in directory: /tmp/tmpr4hm_v_n Successfully built pycscl Cleaning up... Removing source in /tmp/pip-wheel-dje23cis/pycscl Removed build tracker '/tmp/pip-req-tracker-ff4xdspg'