2019-12-28T07:10:25 Created temporary directory: /tmp/pip-ephem-wheel-cache-k2vih1r7
2019-12-28T07:10:25 Created temporary directory: /tmp/pip-req-tracker-btuxolu0
2019-12-28T07:10:25 Created requirements tracker '/tmp/pip-req-tracker-btuxolu0'
2019-12-28T07:10:25 Created temporary directory: /tmp/pip-wheel-jsqpk0lc
2019-12-28T07:10:25 Collecting PEQNP==0.1.21
2019-12-28T07:10:25   1 location(s) to search for versions of PEQNP:
2019-12-28T07:10:25   * https://pypi.org/simple/peqnp/
2019-12-28T07:10:25   Getting page https://pypi.org/simple/peqnp/
2019-12-28T07:10:25   Analyzing links from page https://pypi.org/simple/peqnp/
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/74/e9/4a23072b1d980a2db450e0e224573872e43ffebab9daf9397f289c957e25/PEQNP-0.0.b1-cp37-cp37m-macosx_10_9_x86_64.whl#sha256=2233ecf4fffa1dd2216960f73fd05460b44700769714a94627e1520471d7f98f (from https://pypi.org/simple/peqnp/) (requires-python:>=3.7,<3.8); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/db/06/1934c76098aa9acbb46da3a93c2088d22af677b5ba8c734b70a07951e66d/PEQNP-0.0.b1-cp37-cp37m-manylinux1_x86_64.whl#sha256=0c047f6081a5f9726f546f1b11e88eaa9e307a47ca82c4bdb55c13d81a4de5ee (from https://pypi.org/simple/peqnp/) (requires-python:>=3.7,<3.8); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/4f/a4/e1c108e9d69e818740b49fe994724a5e5e8f32864790f2b556e919159ce1/PEQNP-0.0.b3-cp36-cp36m-manylinux1_x86_64.whl#sha256=354867f6041415593768333d15da988efb8aaf23ccc13f381e356ea752df837f (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6,<=3.8); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/a1/41/4808c8f9b9657c86cf85b9ec2321d2e3d398d8a43d4251c1f9efd1f90b86/PEQNP-0.1.0-cp36-cp36m-macosx_10_9_x86_64.whl#sha256=32400791f08ddffd17c2cdea117cc2d4103dd25be2e54756ef7909ddce4f7773 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/2f/9e/95fe6e910b0b291195c4adae0ca5e2eb7e56973fd9eff2be017050c9507d/PEQNP-0.1.0-cp36-cp36m-manylinux1_x86_64.whl#sha256=b14368837b130b52e2d502a1af3f2ab4166a8692f245bbcfb023d4627c183ade (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/81/ff/bbd3a1bfe09832c5e9ab7eed4fee6748529747de0b9890bd03eefe2acdaf/PEQNP-0.1.0-cp37-cp37m-macosx_10_9_x86_64.whl#sha256=5a46b66e588a14f0fa087694120956b444867168cd27c46220265f818b3b13c4 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/32/da/39ae2df6d2e494f7669a3a82eb5d8e00b3c8fd97b810eddfb2539211b0b3/PEQNP-0.1.0-cp38-cp38-macosx_10_9_x86_64.whl#sha256=71b4c2c6d7bed40dd621baa976d8956211940d03d6c67dd772d296de0dd9ddfe (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/21/62/4b2603edafc45f1f1495113c82055ce776515b0e497c021073443ba156f6/PEQNP-0.1.1-cp36-cp36m-macosx_10_9_x86_64.whl#sha256=23d24d64bcfb768867c82efab8ad417ecef27452da68c85432f19f593f7b3387 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/c5/74/34d43bcc97547d87d584a1d89fe54e54a7fb3226b6e8712d4127d9afc455/PEQNP-0.1.1-cp36-cp36m-manylinux1_x86_64.whl#sha256=0f1b502ba54b12808ddd655e305ee9784bd709fb1ea06a211ae03a7b5a102985 (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/04/f9/1965b67479248ecd8af709ec2f59740261cad43dcb03cad7a5bcbb5f4366/PEQNP-0.1.1-cp37-cp37m-macosx_10_9_x86_64.whl#sha256=e8cbdb750b015a23d7ed20c6651fe13d313d00392a4a36bb78fe378030a89b3d (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Skipping link https://files.pythonhosted.org/packages/fe/fd/ec9e99b83990817cd25e23aa317476cf84b92cc3750cdc7b6cf4b8cfb2e0/PEQNP-0.1.1-cp38-cp38-macosx_10_9_x86_64.whl#sha256=69c16179ea4096a56da020c58ef94ca9a2c0b0bb2ce978d68aa8ce76dc89d89c (from https://pypi.org/simple/peqnp/) (requires-python:>=3.6); it is not compatible with this Python
2019-12-28T07:10:26     Found link https://files.pythonhosted.org/packages/68/6f/f1c9dab8262b865122256629416f2d1827fc26ee143037f070cd4c8f3f88/PEQNP-0.1.2.tar.gz#sha256=92854f344436db708398f25dae14405562bf4d0f852aab390f2ac44926df5ef4 (from https://pypi.org/simple/peqnp/), version: 0.1.2
2019-12-28T07:10:26     Found link https://files.pythonhosted.org/packages/72/80/7676e5c33e914d43bb8bbca4742c429e7a30eb28af859284898079822acf/PEQNP-0.1.3.tar.gz#sha256=57cd59ca4aea5c06d1ea53a722b5a1d44d30ad0ea34ed4ac1ff4d272733a4884 (from https://pypi.org/simple/peqnp/), version: 0.1.3
2019-12-28T07:10:26     Found link https://files.pythonhosted.org/packages/66/88/dfb74ebe0da88f721ce1556223bd23b517ee9a74a879872dc29461deeae3/PEQNP-0.1.17.tar.gz#sha256=9020e8fa432973dd643b9f758d7a5268358f6319e16d4bb826dea420db2dca5d (from https://pypi.org/simple/peqnp/), version: 0.1.17
2019-12-28T07:10:26     Found link https://files.pythonhosted.org/packages/0f/13/266115d1823717fa17493180f473dcf4c22a99575d53301e7f8564b31f78/PEQNP-0.1.18.tar.gz#sha256=ab8419205627984ccce66833227f41d9e4e8a1d2c7a56d0fee8127bd22d078d8 (from https://pypi.org/simple/peqnp/), version: 0.1.18
2019-12-28T07:10:26     Found link https://files.pythonhosted.org/packages/18/8f/0faa6d6a17b67e285433c11f0b0bb95a32285dd3a8417a222119cc47d491/PEQNP-0.1.19.tar.gz#sha256=4a4ce22301a1c8dde9a6893cf9db6afab18a18231603bfb48d09dbc11cde0f37 (from https://pypi.org/simple/peqnp/), version: 0.1.19
2019-12-28T07:10:26     Found link https://files.pythonhosted.org/packages/9d/71/9e4ec8277a734139b068e6258e7ca785614a9426a82f00f5d617fcee9886/PEQNP-0.1.20.tar.gz#sha256=531546e5cb1e25eb4d956606f51ca17219a698370fe246ed8e6b32a80fcffa59 (from https://pypi.org/simple/peqnp/), version: 0.1.20
2019-12-28T07:10:26     Found link https://files.pythonhosted.org/packages/82/b6/0df793b50b510665adad497580bb2b2dc454023f700eb8ccb2ed352d05f4/PEQNP-0.1.21.tar.gz#sha256=c9150564f386bbe0562c9e7a5c04e8b86d6ab472bf7d2a0e6893cae949253a25 (from https://pypi.org/simple/peqnp/), version: 0.1.21
2019-12-28T07:10:26   Using version 0.1.21 (newest of versions: 0.1.21)
2019-12-28T07:10:26   Created temporary directory: /tmp/pip-unpack-s0m71vma
2019-12-28T07:10:26   Downloading https://files.pythonhosted.org/packages/82/b6/0df793b50b510665adad497580bb2b2dc454023f700eb8ccb2ed352d05f4/PEQNP-0.1.21.tar.gz (49kB)
2019-12-28T07:10:26   Downloading from URL https://files.pythonhosted.org/packages/82/b6/0df793b50b510665adad497580bb2b2dc454023f700eb8ccb2ed352d05f4/PEQNP-0.1.21.tar.gz#sha256=c9150564f386bbe0562c9e7a5c04e8b86d6ab472bf7d2a0e6893cae949253a25 (from https://pypi.org/simple/peqnp/)
2019-12-28T07:10:26   Added PEQNP==0.1.21 from https://files.pythonhosted.org/packages/82/b6/0df793b50b510665adad497580bb2b2dc454023f700eb8ccb2ed352d05f4/PEQNP-0.1.21.tar.gz#sha256=c9150564f386bbe0562c9e7a5c04e8b86d6ab472bf7d2a0e6893cae949253a25 to build tracker '/tmp/pip-req-tracker-btuxolu0'
2019-12-28T07:10:26     Running setup.py (path:/tmp/pip-wheel-jsqpk0lc/PEQNP/setup.py) egg_info for package PEQNP
2019-12-28T07:10:26     Running command python setup.py egg_info
2019-12-28T07:10:27     running egg_info
2019-12-28T07:10:27     creating pip-egg-info/PEQNP.egg-info
2019-12-28T07:10:27     writing pip-egg-info/PEQNP.egg-info/PKG-INFO
2019-12-28T07:10:27     writing dependency_links to pip-egg-info/PEQNP.egg-info/dependency_links.txt
2019-12-28T07:10:27     writing top-level names to pip-egg-info/PEQNP.egg-info/top_level.txt
2019-12-28T07:10:27     writing manifest file 'pip-egg-info/PEQNP.egg-info/SOURCES.txt'
2019-12-28T07:10:28     reading manifest file 'pip-egg-info/PEQNP.egg-info/SOURCES.txt'
2019-12-28T07:10:28     writing manifest file 'pip-egg-info/PEQNP.egg-info/SOURCES.txt'
2019-12-28T07:10:28   Source in /tmp/pip-wheel-jsqpk0lc/PEQNP has version 0.1.21, which satisfies requirement PEQNP==0.1.21 from https://files.pythonhosted.org/packages/82/b6/0df793b50b510665adad497580bb2b2dc454023f700eb8ccb2ed352d05f4/PEQNP-0.1.21.tar.gz#sha256=c9150564f386bbe0562c9e7a5c04e8b86d6ab472bf7d2a0e6893cae949253a25
2019-12-28T07:10:28   Removed PEQNP==0.1.21 from https://files.pythonhosted.org/packages/82/b6/0df793b50b510665adad497580bb2b2dc454023f700eb8ccb2ed352d05f4/PEQNP-0.1.21.tar.gz#sha256=c9150564f386bbe0562c9e7a5c04e8b86d6ab472bf7d2a0e6893cae949253a25 from build tracker '/tmp/pip-req-tracker-btuxolu0'
2019-12-28T07:10:28 Building wheels for collected packages: PEQNP
2019-12-28T07:10:28   Created temporary directory: /tmp/pip-wheel-8joay47e
2019-12-28T07:10:28   Building wheel for PEQNP (setup.py): started
2019-12-28T07:10:28   Destination directory: /tmp/pip-wheel-8joay47e
2019-12-28T07:10:28   Running command /usr/bin/python3 -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-wheel-jsqpk0lc/PEQNP/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-8joay47e
2019-12-28T07:10:29   running bdist_wheel
2019-12-28T07:10:29   running build
2019-12-28T07:10:29   running build_py
2019-12-28T07:10:30   creating build
2019-12-28T07:10:30   creating build/lib.linux-armv7l-3.7
2019-12-28T07:10:30   creating build/lib.linux-armv7l-3.7/peqnp
2019-12-28T07:10:30   copying peqnp/stdlib.py -> build/lib.linux-armv7l-3.7/peqnp
2019-12-28T07:10:30   copying peqnp/entity.py -> build/lib.linux-armv7l-3.7/peqnp
2019-12-28T07:10:30   copying peqnp/__init__.py -> build/lib.linux-armv7l-3.7/peqnp
2019-12-28T07:10:30   copying peqnp/solver.py -> build/lib.linux-armv7l-3.7/peqnp
2019-12-28T07:10:30   running build_ext
2019-12-28T07:10:30   building 'slime' extension
2019-12-28T07:10:30   creating build/temp.linux-armv7l-3.7
2019-12-28T07:10:30   creating build/temp.linux-armv7l-3.7/src
2019-12-28T07:10:30   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -Iinclude -I/usr/include/python3.7m -c src/SLIME.cc -o build/temp.linux-armv7l-3.7/src/SLIME.o
2019-12-28T07:10:32   In file included from include/SimpSolver.h:34,
2019-12-28T07:10:32                    from include/SLIME.h:14,
2019-12-28T07:10:32                    from src/SLIME.cc:9:
2019-12-28T07:10:32   include/Solver.h: In member function ‘bool SLIME::Solver::locked(const SLIME::Clause&) const’:
2019-12-28T07:10:32   include/Solver.h:585:44: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
2019-12-28T07:10:32        long i = c.size() != 2 ? 0 : (value(c[0]) == l_True ? 0 : 1);
2019-12-28T07:10:32                                               ^
2019-12-28T07:10:32   In file included from include/Dimacs.h:27,
2019-12-28T07:10:32                    from include/SLIME.h:12,
2019-12-28T07:10:32                    from src/SLIME.cc:9:
2019-12-28T07:10:32   include/SolverTypes.h:237:9: note: candidate 1: ‘SLIME::Lit SLIME::Clause::operator[](long int) const’
2019-12-28T07:10:32        Lit operator[](long i) const { return data[i].lit; }
2019-12-28T07:10:32            ^~~~~~~~
2019-12-28T07:10:32   In file included from include/SimpSolver.h:34,
2019-12-28T07:10:32                    from include/SLIME.h:14,
2019-12-28T07:10:32                    from src/SLIME.cc:9:
2019-12-28T07:10:32   include/Solver.h:585:44: note: candidate 2: ‘operator[](const SLIME::Lit*, int)’ <built-in>
2019-12-28T07:10:32        long i = c.size() != 2 ? 0 : (value(c[0]) == l_True ? 0 : 1);
2019-12-28T07:10:32                                               ^
2019-12-28T07:10:32   In file included from src/SLIME.cc:9:
2019-12-28T07:10:32   include/SLIME.h: In function ‘PyObject* solve(PyObject*, PyObject*)’:
2019-12-28T07:10:32   include/SLIME.h:111:35: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
2019-12-28T07:10:32            S->addClause(assumptions[i]);
2019-12-28T07:10:32                                      ^
2019-12-28T07:10:32   In file included from ./mtl/Alg.h:24,
2019-12-28T07:10:32                    from include/SolverTypes.h:36,
2019-12-28T07:10:32                    from include/Dimacs.h:27,
2019-12-28T07:10:32                    from include/SLIME.h:12,
2019-12-28T07:10:32                    from src/SLIME.cc:9:
2019-12-28T07:10:32   ./mtl/Vec.h:129:12: note: candidate 1: ‘T& SLIME::vec<T>::operator[](long int) [with T = SLIME::Lit]’
2019-12-28T07:10:32            T &operator[](long index) { return data[index]; }
2019-12-28T07:10:32               ^~~~~~~~
2019-12-28T07:10:32   In file included from src/SLIME.cc:9:
2019-12-28T07:10:32   include/SLIME.h:111:35: note: candidate 2: ‘operator[](SLIME::Lit*, int)’ <built-in>
2019-12-28T07:10:32            S->addClause(assumptions[i]);
2019-12-28T07:10:32                                      ^
2019-12-28T07:10:32   include/SLIME.h:139:31: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
2019-12-28T07:10:32                    if (S->model[i] != l_Undef) {
2019-12-28T07:10:32                                  ^
2019-12-28T07:10:32   In file included from ./mtl/Alg.h:24,
2019-12-28T07:10:32                    from include/SolverTypes.h:36,
2019-12-28T07:10:32                    from include/Dimacs.h:27,
2019-12-28T07:10:32                    from include/SLIME.h:12,
2019-12-28T07:10:32                    from src/SLIME.cc:9:
2019-12-28T07:10:32   ./mtl/Vec.h:129:12: note: candidate 1: ‘T& SLIME::vec<T>::operator[](long int) [with T = SLIME::lbool]’
2019-12-28T07:10:32            T &operator[](long index) { return data[index]; }
2019-12-28T07:10:32               ^~~~~~~~
2019-12-28T07:10:32   In file included from src/SLIME.cc:9:
2019-12-28T07:10:32   include/SLIME.h:139:31: note: candidate 2: ‘operator[](SLIME::lbool*, int)’ <built-in>
2019-12-28T07:10:32                    if (S->model[i] != l_Undef) {
2019-12-28T07:10:32                                  ^
2019-12-28T07:10:32   include/SLIME.h:140:77: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
2019-12-28T07:10:32                        PyList_SetItem(modelList, i, PyLong_FromLong((S->model[i] == l_True) ? +(i + 1) : -(i + 1)));
2019-12-28T07:10:32                                                                                ^
2019-12-28T07:10:32   In file included from ./mtl/Alg.h:24,
2019-12-28T07:10:32                    from include/SolverTypes.h:36,
2019-12-28T07:10:32                    from include/Dimacs.h:27,
2019-12-28T07:10:32                    from include/SLIME.h:12,
2019-12-28T07:10:32                    from src/SLIME.cc:9:
2019-12-28T07:10:32   ./mtl/Vec.h:129:12: note: candidate 1: ‘T& SLIME::vec<T>::operator[](long int) [with T = SLIME::lbool]’
2019-12-28T07:10:32            T &operator[](long index) { return data[index]; }
2019-12-28T07:10:32               ^~~~~~~~
2019-12-28T07:10:32   In file included from src/SLIME.cc:9:
2019-12-28T07:10:32   include/SLIME.h:140:77: note: candidate 2: ‘operator[](SLIME::lbool*, int)’ <built-in>
2019-12-28T07:10:32                        PyList_SetItem(modelList, i, PyLong_FromLong((S->model[i] == l_True) ? +(i + 1) : -(i + 1)));
2019-12-28T07:10:32                                                                                ^
2019-12-28T07:10:33   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -Iinclude -I/usr/include/python3.7m -c src/SimpSolver.cc -o build/temp.linux-armv7l-3.7/src/SimpSolver.o
2019-12-28T07:10:34   In file included from include/SimpSolver.h:34,
2019-12-28T07:10:34                    from src/SimpSolver.cc:34:
2019-12-28T07:10:34   include/Solver.h: In member function ‘bool SLIME::Solver::locked(const SLIME::Clause&) const’:
2019-12-28T07:10:34   include/Solver.h:585:44: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
2019-12-28T07:10:34        long i = c.size() != 2 ? 0 : (value(c[0]) == l_True ? 0 : 1);
2019-12-28T07:10:34                                               ^
2019-12-28T07:10:34   In file included from include/Solver.h:46,
2019-12-28T07:10:34                    from include/SimpSolver.h:34,
2019-12-28T07:10:34                    from src/SimpSolver.cc:34:
2019-12-28T07:10:34   include/SolverTypes.h:237:9: note: candidate 1: ‘SLIME::Lit SLIME::Clause::operator[](long int) const’
2019-12-28T07:10:34        Lit operator[](long i) const { return data[i].lit; }
2019-12-28T07:10:34            ^~~~~~~~
2019-12-28T07:10:34   In file included from include/SimpSolver.h:34,
2019-12-28T07:10:34                    from src/SimpSolver.cc:34:
2019-12-28T07:10:34   include/Solver.h:585:44: note: candidate 2: ‘operator[](const SLIME::Lit*, int)’ <built-in>
2019-12-28T07:10:34        long i = c.size() != 2 ? 0 : (value(c[0]) == l_True ? 0 : 1);
2019-12-28T07:10:34                                               ^
2019-12-28T07:10:34   In file included from ./mtl/Alg.h:24,
2019-12-28T07:10:34                    from include/SolverTypes.h:36,
2019-12-28T07:10:34                    from include/Solver.h:46,
2019-12-28T07:10:34                    from include/SimpSolver.h:34,
2019-12-28T07:10:34                    from src/SimpSolver.cc:34:
2019-12-28T07:10:34   ./mtl/Vec.h: In instantiation of ‘void SLIME::vec<T>::capacity(long int) [with T = SLIME::vec<long int>]’:
2019-12-28T07:10:35   ./mtl/Vec.h:171:9:   required from ‘void SLIME::vec<T>::growTo(long int) [with T = SLIME::vec<long int>]’
2019-12-28T07:10:35   include/SolverTypes.h:351:9:   required from ‘void SLIME::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = long int; Vec = SLIME::vec<long int>; Deleted = SLIME::SimpSolver::ClauseDeleted]’
2019-12-28T07:10:35   src/SimpSolver.cc:71:22:   required from here
2019-12-28T07:10:35   ./mtl/Vec.h:154:63: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class SLIME::vec<long int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2019-12-28T07:10:35            if ((add > INT_MAX - cap) || (((data = (T *) ::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
2019-12-28T07:10:35                                                         ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-12-28T07:10:35   ./mtl/Vec.h:38:11: note: ‘class SLIME::vec<long int>’ declared here
2019-12-28T07:10:35        class vec {
2019-12-28T07:10:35              ^~~
2019-12-28T07:10:40   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -Iinclude -I/usr/include/python3.7m -c src/Solver.cc -o build/temp.linux-armv7l-3.7/src/Solver.o
2019-12-28T07:10:42   In file included from include/SimpSolver.h:34,
2019-12-28T07:10:42                    from src/Solver.cc:36:
2019-12-28T07:10:42   include/Solver.h: In member function ‘bool SLIME::Solver::locked(const SLIME::Clause&) const’:
2019-12-28T07:10:42   include/Solver.h:585:44: warning: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:
2019-12-28T07:10:42        long i = c.size() != 2 ? 0 : (value(c[0]) == l_True ? 0 : 1);
2019-12-28T07:10:42                                               ^
2019-12-28T07:10:42   In file included from include/Solver.h:46,
2019-12-28T07:10:42                    from include/SimpSolver.h:34,
2019-12-28T07:10:42                    from src/Solver.cc:36:
2019-12-28T07:10:42   include/SolverTypes.h:237:9: note: candidate 1: ‘SLIME::Lit SLIME::Clause::operator[](long int) const’
2019-12-28T07:10:42        Lit operator[](long i) const { return data[i].lit; }
2019-12-28T07:10:42            ^~~~~~~~
2019-12-28T07:10:42   In file included from include/SimpSolver.h:34,
2019-12-28T07:10:42                    from src/Solver.cc:36:
2019-12-28T07:10:42   include/Solver.h:585:44: note: candidate 2: ‘operator[](const SLIME::Lit*, int)’ <built-in>
2019-12-28T07:10:42        long i = c.size() != 2 ? 0 : (value(c[0]) == l_True ? 0 : 1);
2019-12-28T07:10:42                                               ^
2019-12-28T07:10:42   include/Solver.h: In constructor ‘SLIME::Solver::Solver()’:
2019-12-28T07:10:42   include/Solver.h:509:10: warning: ‘SLIME::Solver::DISTANCE’ will be initialized after [-Wreorder]
2019-12-28T07:10:42        bool DISTANCE;
2019-12-28T07:10:42             ^~~~~~~~
2019-12-28T07:10:42   include/Solver.h:506:16: warning:   ‘double SLIME::Solver::var_iLevel_inc’ [-Wreorder]
2019-12-28T07:10:42            double var_iLevel_inc;
2019-12-28T07:10:42                   ^~~~~~~~~~~~~~
2019-12-28T07:10:42   src/Solver.cc:72:1: warning:   when initialized here [-Wreorder]
2019-12-28T07:10:42    Solver::Solver()
2019-12-28T07:10:42    ^~~~~~
2019-12-28T07:10:42   In file included from include/SimpSolver.h:34,
2019-12-28T07:10:42                    from src/Solver.cc:36:
2019-12-28T07:10:42   include/Solver.h:506:16: warning: ‘SLIME::Solver::var_iLevel_inc’ will be initialized after [-Wreorder]
2019-12-28T07:10:42            double var_iLevel_inc;
2019-12-28T07:10:42                   ^~~~~~~~~~~~~~
2019-12-28T07:10:42   include/Solver.h:306:27: warning:   ‘SLIME::Heap<SLIME::Solver::VarOrderLt> SLIME::Solver::order_heap_distance’ [-Wreorder]
2019-12-28T07:10:42            order_heap_VSIDS, order_heap_distance;
2019-12-28T07:10:42                              ^~~~~~~~~~~~~~~~~~~
2019-12-28T07:10:42   src/Solver.cc:72:1: warning:   when initialized here [-Wreorder]
2019-12-28T07:10:42    Solver::Solver()
2019-12-28T07:10:42    ^~~~~~
2019-12-28T07:10:42   src/Solver.cc: In member function ‘SLIME::CRef SLIME::Solver::propagate()’:
2019-12-28T07:10:42   src/Solver.cc:1204:25: warning: value computed is not used [-Wunused-value]
2019-12-28T07:10:42                            *j--; // undo last watch
2019-12-28T07:10:42                            ^~~~
2019-12-28T07:10:42   src/Solver.cc: In member function ‘void SLIME::Solver::safeRemoveSatisfied(SLIME::vec<long int>&, unsigned int)’:
2019-12-28T07:10:42   src/Solver.cc:1293:22: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare]
2019-12-28T07:10:42            if (c.mark() == valid_mark) {
2019-12-28T07:10:42                ~~~~~~~~~^~~~~~~~~~~~~
2019-12-28T07:10:42   In file included from ./mtl/Alg.h:24,
2019-12-28T07:10:42                    from include/SolverTypes.h:36,
2019-12-28T07:10:42                    from include/Solver.h:46,
2019-12-28T07:10:42                    from include/SimpSolver.h:34,
2019-12-28T07:10:42                    from src/Solver.cc:36:
2019-12-28T07:10:42   ./mtl/Vec.h: In instantiation of ‘void SLIME::vec<T>::capacity(long int) [with T = SLIME::vec<SLIME::Solver::Watcher>]’:
2019-12-28T07:10:42   ./mtl/Vec.h:171:9:   required from ‘void SLIME::vec<T>::growTo(long int) [with T = SLIME::vec<SLIME::Solver::Watcher>]’
2019-12-28T07:10:42   include/SolverTypes.h:351:9:   required from ‘void SLIME::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = SLIME::Lit; Vec = SLIME::vec<SLIME::Solver::Watcher>; Deleted = SLIME::Solver::WatcherDeleted]’
2019-12-28T07:10:42   src/Solver.cc:551:37:   required from here
2019-12-28T07:10:42   ./mtl/Vec.h:154:63: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class SLIME::vec<SLIME::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
2019-12-28T07:10:42            if ((add > INT_MAX - cap) || (((data = (T *) ::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
2019-12-28T07:10:42                                                         ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-12-28T07:10:42   ./mtl/Vec.h:38:11: note: ‘class SLIME::vec<SLIME::Solver::Watcher>’ declared here
2019-12-28T07:10:42        class vec {
2019-12-28T07:10:42              ^~~
2019-12-28T07:10:54   arm-linux-gnueabihf-g++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,relro -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv7l-3.7/src/SLIME.o build/temp.linux-armv7l-3.7/src/SimpSolver.o build/temp.linux-armv7l-3.7/src/Solver.o -o build/lib.linux-armv7l-3.7/slime.cpython-37m-arm-linux-gnueabihf.so
2019-12-28T07:10:54   installing to build/bdist.linux-armv7l/wheel
2019-12-28T07:10:54   running install
2019-12-28T07:10:54   running install_lib
2019-12-28T07:10:54   creating build/bdist.linux-armv7l
2019-12-28T07:10:54   creating build/bdist.linux-armv7l/wheel
2019-12-28T07:10:54   creating build/bdist.linux-armv7l/wheel/peqnp
2019-12-28T07:10:54   copying build/lib.linux-armv7l-3.7/peqnp/stdlib.py -> build/bdist.linux-armv7l/wheel/peqnp
2019-12-28T07:10:54   copying build/lib.linux-armv7l-3.7/peqnp/entity.py -> build/bdist.linux-armv7l/wheel/peqnp
2019-12-28T07:10:54   copying build/lib.linux-armv7l-3.7/peqnp/__init__.py -> build/bdist.linux-armv7l/wheel/peqnp
2019-12-28T07:10:54   copying build/lib.linux-armv7l-3.7/peqnp/solver.py -> build/bdist.linux-armv7l/wheel/peqnp
2019-12-28T07:10:54   copying build/lib.linux-armv7l-3.7/slime.cpython-37m-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel
2019-12-28T07:10:54   running install_egg_info
2019-12-28T07:10:54   running egg_info
2019-12-28T07:10:54   creating PEQNP.egg-info
2019-12-28T07:10:54   writing PEQNP.egg-info/PKG-INFO
2019-12-28T07:10:54   writing dependency_links to PEQNP.egg-info/dependency_links.txt
2019-12-28T07:10:54   writing top-level names to PEQNP.egg-info/top_level.txt
2019-12-28T07:10:54   writing manifest file 'PEQNP.egg-info/SOURCES.txt'
2019-12-28T07:10:54   reading manifest file 'PEQNP.egg-info/SOURCES.txt'
2019-12-28T07:10:54   writing manifest file 'PEQNP.egg-info/SOURCES.txt'
2019-12-28T07:10:54   Copying PEQNP.egg-info to build/bdist.linux-armv7l/wheel/PEQNP-0.1.21-py3.7.egg-info
2019-12-28T07:10:54   running install_scripts
2019-12-28T07:10:54   adding license file "LICENSE.txt" (matched pattern "LICEN[CS]E*")
2019-12-28T07:10:54   creating build/bdist.linux-armv7l/wheel/PEQNP-0.1.21.dist-info/WHEEL
2019-12-28T07:10:54   creating '/tmp/pip-wheel-8joay47e/PEQNP-0.1.21-cp37-cp37m-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2019-12-28T07:10:55   adding 'slime.cpython-37m-arm-linux-gnueabihf.so'
2019-12-28T07:10:55   adding 'peqnp/__init__.py'
2019-12-28T07:10:55   adding 'peqnp/entity.py'
2019-12-28T07:10:55   adding 'peqnp/solver.py'
2019-12-28T07:10:55   adding 'peqnp/stdlib.py'
2019-12-28T07:10:55   adding 'PEQNP-0.1.21.dist-info/LICENSE.txt'
2019-12-28T07:10:55   adding 'PEQNP-0.1.21.dist-info/METADATA'
2019-12-28T07:10:55   adding 'PEQNP-0.1.21.dist-info/WHEEL'
2019-12-28T07:10:55   adding 'PEQNP-0.1.21.dist-info/top_level.txt'
2019-12-28T07:10:55   adding 'PEQNP-0.1.21.dist-info/RECORD'
2019-12-28T07:10:55   removing build/bdist.linux-armv7l/wheel
2019-12-28T07:10:55   Building wheel for PEQNP (setup.py): finished with status 'done'
2019-12-28T07:10:55   Stored in directory: /tmp/tmp0v8rdklh
2019-12-28T07:10:55 Successfully built PEQNP
2019-12-28T07:10:55 Cleaning up...
2019-12-28T07:10:55   Removing source in /tmp/pip-wheel-jsqpk0lc/PEQNP
2019-12-28T07:10:55 Removed build tracker '/tmp/pip-req-tracker-btuxolu0'