2025-09-08T17:25:09,426 Created temporary directory: /tmp/pip-build-tracker-shwv4hg1 2025-09-08T17:25:09,426 Initialized build tracking at /tmp/pip-build-tracker-shwv4hg1 2025-09-08T17:25:09,426 Created build tracker: /tmp/pip-build-tracker-shwv4hg1 2025-09-08T17:25:09,427 Entered build tracker: /tmp/pip-build-tracker-shwv4hg1 2025-09-08T17:25:09,427 Created temporary directory: /tmp/pip-wheel-tl9b9rg3 2025-09-08T17:25:09,430 Created temporary directory: /tmp/pip-ephem-wheel-cache-73j3b27h 2025-09-08T17:25:09,489 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-08T17:25:09,492 2 location(s) to search for versions of pyglucose: 2025-09-08T17:25:09,492 * https://pypi.org/simple/pyglucose/ 2025-09-08T17:25:09,492 * https://www.piwheels.org/simple/pyglucose/ 2025-09-08T17:25:09,492 Fetching project page and analyzing links: https://pypi.org/simple/pyglucose/ 2025-09-08T17:25:09,493 Getting page https://pypi.org/simple/pyglucose/ 2025-09-08T17:25:09,494 Found index url https://pypi.org/simple/ 2025-09-08T17:25:09,640 Fetched page https://pypi.org/simple/pyglucose/ as application/vnd.pypi.simple.v1+json 2025-09-08T17:25:09,641 Found link https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz (from https://pypi.org/simple/pyglucose/), version: 0.0.1 2025-09-08T17:25:09,642 Fetching project page and analyzing links: https://www.piwheels.org/simple/pyglucose/ 2025-09-08T17:25:09,642 Getting page https://www.piwheels.org/simple/pyglucose/ 2025-09-08T17:25:09,644 Found index url https://www.piwheels.org/simple/ 2025-09-08T17:25:09,741 Fetched page https://www.piwheels.org/simple/pyglucose/ as text/html 2025-09-08T17:25:09,742 Skipping link: No binaries permitted for pyglucose: https://archive1.piwheels.org/simple/pyglucose/pyglucose-0.0.1-cp39-cp39-linux_armv6l.whl#sha256=6b5d88ae3828d279b9949c9449ce7b3c147bc8bdcfd41b25a6fa1056163d1d61 (from https://www.piwheels.org/simple/pyglucose/) 2025-09-08T17:25:09,743 Skipping link: No binaries permitted for pyglucose: https://archive1.piwheels.org/simple/pyglucose/pyglucose-0.0.1-cp39-cp39-linux_armv7l.whl#sha256=6b5d88ae3828d279b9949c9449ce7b3c147bc8bdcfd41b25a6fa1056163d1d61 (from https://www.piwheels.org/simple/pyglucose/) 2025-09-08T17:25:09,743 Skipping link: No binaries permitted for pyglucose: https://archive1.piwheels.org/simple/pyglucose/pyglucose-0.0.1-cp311-cp311-linux_armv6l.whl#sha256=92d4fe6338cd1218f11cf63efe909cca19329f3dd78bab74f890c7e7c417c046 (from https://www.piwheels.org/simple/pyglucose/) 2025-09-08T17:25:09,743 Skipping link: No binaries permitted for pyglucose: https://archive1.piwheels.org/simple/pyglucose/pyglucose-0.0.1-cp311-cp311-linux_armv7l.whl#sha256=92d4fe6338cd1218f11cf63efe909cca19329f3dd78bab74f890c7e7c417c046 (from https://www.piwheels.org/simple/pyglucose/) 2025-09-08T17:25:09,743 Skipping link: not a file: https://www.piwheels.org/simple/pyglucose/ 2025-09-08T17:25:09,743 Skipping link: not a file: https://pypi.org/simple/pyglucose/ 2025-09-08T17:25:09,769 Given no hashes to check 1 links for project 'pyglucose': discarding no candidates 2025-09-08T17:25:09,770 Collecting pyglucose==0.0.1 2025-09-08T17:25:09,772 Created temporary directory: /tmp/pip-unpack-4lz8jk_b 2025-09-08T17:25:09,909 Downloading pyglucose-0.0.1.tar.gz (84 kB) 2025-09-08T17:25:09,987 Added pyglucose==0.0.1 from https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz to build tracker '/tmp/pip-build-tracker-shwv4hg1' 2025-09-08T17:25:09,988 Running setup.py (path:/tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420/setup.py) egg_info for package pyglucose 2025-09-08T17:25:09,988 Created temporary directory: /tmp/pip-pip-egg-info-ngp5rmbe 2025-09-08T17:25:09,988 Preparing metadata (setup.py): started 2025-09-08T17:25:09,989 Running command python setup.py egg_info 2025-09-08T17:25:10,860 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-08T17:25:10,860 !! 2025-09-08T17:25:10,860 ******************************************************************************** 2025-09-08T17:25:10,860 Requirements should be satisfied by a PEP 517 installer. 2025-09-08T17:25:10,860 If you are using pip, you can try `pip install --use-pep517`. 2025-09-08T17:25:10,861 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-08T17:25:10,861 or your builds will no longer be supported. 2025-09-08T17:25:10,861 ******************************************************************************** 2025-09-08T17:25:10,861 !! 2025-09-08T17:25:10,861 dist.fetch_build_eggs(dist.setup_requires) 2025-09-08T17:25:14,081 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py:289: UserWarning: Unknown distribution option: 'test_suite' 2025-09-08T17:25:14,082 warnings.warn(msg) 2025-09-08T17:25:14,326 running egg_info 2025-09-08T17:25:14,409 creating /tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info 2025-09-08T17:25:14,409 writing /tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info/PKG-INFO 2025-09-08T17:25:14,410 writing dependency_links to /tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info/dependency_links.txt 2025-09-08T17:25:14,411 writing requirements to /tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info/requires.txt 2025-09-08T17:25:14,411 writing top-level names to /tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info/top_level.txt 2025-09-08T17:25:14,412 writing manifest file '/tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info/SOURCES.txt' 2025-09-08T17:25:14,573 reading manifest file '/tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info/SOURCES.txt' 2025-09-08T17:25:14,574 reading manifest template 'MANIFEST.in' 2025-09-08T17:25:14,577 adding license file 'LICENSE' 2025-09-08T17:25:14,580 writing manifest file '/tmp/pip-pip-egg-info-ngp5rmbe/pyglucose.egg-info/SOURCES.txt' 2025-09-08T17:25:14,694 Preparing metadata (setup.py): finished with status 'done' 2025-09-08T17:25:14,699 Source in /tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420 has version 0.0.1, which satisfies requirement pyglucose==0.0.1 from https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz 2025-09-08T17:25:14,699 Removed pyglucose==0.0.1 from https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz from build tracker '/tmp/pip-build-tracker-shwv4hg1' 2025-09-08T17:25:14,703 Created temporary directory: /tmp/pip-unpack-oiokbypv 2025-09-08T17:25:14,703 Created temporary directory: /tmp/pip-unpack-0gramthf 2025-09-08T17:25:14,703 Building wheels for collected packages: pyglucose 2025-09-08T17:25:14,704 Created temporary directory: /tmp/pip-wheel-yxvb1fr4 2025-09-08T17:25:14,705 DEPRECATION: Building 'pyglucose' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'pyglucose'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-09-08T17:25:14,706 Building wheel for pyglucose (setup.py): started 2025-09-08T17:25:14,706 Destination directory: /tmp/pip-wheel-yxvb1fr4 2025-09-08T17:25:14,707 Running command python setup.py bdist_wheel 2025-09-08T17:25:15,572 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-08T17:25:15,572 !! 2025-09-08T17:25:15,572 ******************************************************************************** 2025-09-08T17:25:15,573 Requirements should be satisfied by a PEP 517 installer. 2025-09-08T17:25:15,573 If you are using pip, you can try `pip install --use-pep517`. 2025-09-08T17:25:15,573 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-08T17:25:15,573 or your builds will no longer be supported. 2025-09-08T17:25:15,573 ******************************************************************************** 2025-09-08T17:25:15,573 !! 2025-09-08T17:25:15,573 dist.fetch_build_eggs(dist.setup_requires) 2025-09-08T17:25:16,090 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py:289: UserWarning: Unknown distribution option: 'test_suite' 2025-09-08T17:25:16,091 warnings.warn(msg) 2025-09-08T17:25:16,287 running bdist_wheel 2025-09-08T17:25:16,595 running build 2025-09-08T17:25:16,595 running build_ext 2025-09-08T17:25:16,603 creating tmp 2025-09-08T17:25:16,603 arm-linux-gnueabihf-g++ -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -fPIC -I/usr/include/python3.13 -c /tmp/tmpi5vh6tod.cpp -o tmp/tmpi5vh6tod.o -std=c++14 2025-09-08T17:25:16,671 arm-linux-gnueabihf-g++ -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -fPIC -I/usr/include/python3.13 -c /tmp/tmp9845exmj.cpp -o tmp/tmp9845exmj.o -fvisibility=hidden 2025-09-08T17:25:17,068 building 'pyglucose' extension 2025-09-08T17:25:17,073 creating build/temp.linux-armv7l-cpython-313/glucose-syrup-4.1/core 2025-09-08T17:25:17,074 creating build/temp.linux-armv7l-cpython-313/glucose-syrup-4.1/simp 2025-09-08T17:25:17,074 arm-linux-gnueabihf-g++ -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -fPIC -DINCREMENTAL=1 -DINCREMNENTAL=1 -Iglucose-syrup-4.1 -I/tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420/.eggs/pybind11-3.0.1-py3.13.egg/pybind11/include -I/tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420/.eggs/pybind11-3.0.1-py3.13.egg/pybind11/include -I/usr/include/python3.13 -c glucose-syrup-4.1/core/Solver.cc -o build/temp.linux-armv7l-cpython-313/glucose-syrup-4.1/core/Solver.o -DVERSION_INFO=\"0.0.1\" -std=c++14 -fvisibility=hidden 2025-09-08T17:25:17,537 In file included from glucose-syrup-4.1/utils/Options.h:30, 2025-09-08T17:25:17,537 from glucose-syrup-4.1/core/Solver.h:55, 2025-09-08T17:25:17,537 from glucose-syrup-4.1/core/Solver.cc:54: 2025-09-08T17:25:17,537 glucose-syrup-4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’: 2025-09-08T17:25:17,538 glucose-syrup-4.1/utils/ParseUtils.h:101:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 2025-09-08T17:25:17,538 101 | while (*in >= '0' && *in <= '9') 2025-09-08T17:25:17,538 | ^~~~~ 2025-09-08T17:25:17,538 glucose-syrup-4.1/utils/ParseUtils.h:105:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 2025-09-08T17:25:17,538 105 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); 2025-09-08T17:25:17,538 | ^~ 2025-09-08T17:25:17,542 glucose-syrup-4.1/utils/Options.h: In member function ‘bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)’: 2025-09-08T17:25:17,543 glucose-syrup-4.1/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:17,543 63 | return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; 2025-09-08T17:25:17,543 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:18,194 glucose-syrup-4.1/core/Solver.cc: In member function ‘void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec&, Glucose::vec&, int&, unsigned int&, unsigned int&)’: 2025-09-08T17:25:18,194 glucose-syrup-4.1/core/Solver.cc:777:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2025-09-08T17:25:18,194 777 | if(chanseokStrategy && nblevels <= coLBDBound) { 2025-09-08T17:25:18,194 | ~~~~~~~~~^~~~~~~~~~~~~ 2025-09-08T17:25:18,226 glucose-syrup-4.1/core/Solver.cc: In member function ‘void Glucose::Solver::adaptSolver()’: 2025-09-08T17:25:18,226 glucose-syrup-4.1/core/Solver.cc:1419:24: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2025-09-08T17:25:18,226 1419 | if(c.lbd() <= coLBDBound) { 2025-09-08T17:25:18,226 | ~~~~~~~~^~~~~~~~~~~~~ 2025-09-08T17:25:18,233 glucose-syrup-4.1/core/Solver.cc: In member function ‘Glucose::lbool Glucose::Solver::search(int)’: 2025-09-08T17:25:18,233 glucose-syrup-4.1/core/Solver.cc:1565:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2025-09-08T17:25:18,233 1565 | if(chanseokStrategy && nblevels <= coLBDBound) { 2025-09-08T17:25:18,233 | ~~~~~~~~~^~~~~~~~~~~~~ 2025-09-08T17:25:18,325 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2025-09-08T17:25:18,325 from glucose-syrup-4.1/core/Solver.cc:53: 2025-09-08T17:25:18,325 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Lit]’: 2025-09-08T17:25:18,325 glucose-syrup-4.1/core/Solver.cc:392:19: required from here 2025-09-08T17:25:18,325 392 | trail.capacity(v + 1); 2025-09-08T17:25:18,326 | ~~~~~~~~~~~~~~^~~~~~~ 2025-09-08T17:25:18,326 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,326 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,326 | ^ 2025-09-08T17:25:18,338 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Option*]’: 2025-09-08T17:25:18,338 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Option*]’ 2025-09-08T17:25:18,338 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:18,338 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:18,338 glucose-syrup-4.1/utils/Options.h:76:29: required from here 2025-09-08T17:25:18,338 76 | getOptionList().push(this); 2025-09-08T17:25:18,338 | ~~~~~~~~~~~~~~~~~~~~^~~~~~ 2025-09-08T17:25:18,338 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,338 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,339 | ^ 2025-09-08T17:25:18,377 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = int]’: 2025-09-08T17:25:18,377 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = int]’ 2025-09-08T17:25:18,377 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:18,377 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:18,377 glucose-syrup-4.1/core/Solver.h:518:81: required from here 2025-09-08T17:25:18,377 518 | inline void Solver::newDecisionLevel() { trail_lim.push(trail.size()); } 2025-09-08T17:25:18,377 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~ 2025-09-08T17:25:18,378 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,378 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,378 | ^ 2025-09-08T17:25:18,382 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = long long unsigned int]’: 2025-09-08T17:25:18,382 glucose-syrup-4.1/mtl/Vec.h:129:13: required from ‘void Glucose::vec::growTo(int, const T&) [with T = long long unsigned int]’ 2025-09-08T17:25:18,382 129 | capacity(size); 2025-09-08T17:25:18,382 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:18,382 glucose-syrup-4.1/core/Solver.cc:206:17: required from here 2025-09-08T17:25:18,382 206 | stats.growTo(coreStatsSize, 0); 2025-09-08T17:25:18,383 | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:18,383 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,383 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,383 | ^ 2025-09-08T17:25:18,384 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::lbool]’: 2025-09-08T17:25:18,384 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = Glucose::lbool]’ 2025-09-08T17:25:18,384 109 | copy.capacity(cap); 2025-09-08T17:25:18,384 | ~~~~~~~~~~~~~^~~~~ 2025-09-08T17:25:18,384 glucose-syrup-4.1/core/Solver.cc:299:24: required from here 2025-09-08T17:25:18,384 299 | s.assigns.memCopyTo(assigns); 2025-09-08T17:25:18,385 | ~~~~~~~~~~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:18,385 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,385 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,385 | ^ 2025-09-08T17:25:18,385 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Solver::VarData]’: 2025-09-08T17:25:18,385 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = Glucose::Solver::VarData]’ 2025-09-08T17:25:18,385 109 | copy.capacity(cap); 2025-09-08T17:25:18,385 | ~~~~~~~~~~~~~^~~~~ 2025-09-08T17:25:18,385 glucose-syrup-4.1/core/Solver.cc:300:24: required from here 2025-09-08T17:25:18,386 300 | s.vardata.memCopyTo(vardata); 2025-09-08T17:25:18,386 | ~~~~~~~~~~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:18,386 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,386 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,386 | ^ 2025-09-08T17:25:18,386 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = double]’: 2025-09-08T17:25:18,386 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = double]’ 2025-09-08T17:25:18,386 109 | copy.capacity(cap); 2025-09-08T17:25:18,386 | ~~~~~~~~~~~~~^~~~~ 2025-09-08T17:25:18,386 glucose-syrup-4.1/core/Solver.cc:301:25: required from here 2025-09-08T17:25:18,387 301 | s.activity.memCopyTo(activity); 2025-09-08T17:25:18,387 | ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~ 2025-09-08T17:25:18,387 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,387 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,387 | ^ 2025-09-08T17:25:18,387 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = char]’: 2025-09-08T17:25:18,387 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = char]’ 2025-09-08T17:25:18,387 109 | copy.capacity(cap); 2025-09-08T17:25:18,387 | ~~~~~~~~~~~~~^~~~~ 2025-09-08T17:25:18,387 glucose-syrup-4.1/core/Solver.cc:302:21: required from here 2025-09-08T17:25:18,388 302 | s.seen.memCopyTo(seen); 2025-09-08T17:25:18,388 | ~~~~~~~~~~~~~~~~^~~~~~ 2025-09-08T17:25:18,388 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,388 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,388 | ^ 2025-09-08T17:25:18,388 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = unsigned int]’: 2025-09-08T17:25:18,388 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = unsigned int]’ 2025-09-08T17:25:18,388 109 | copy.capacity(cap); 2025-09-08T17:25:18,388 | ~~~~~~~~~~~~~^~~~~ 2025-09-08T17:25:18,389 glucose-syrup-4.1/core/Solver.cc:303:25: required from here 2025-09-08T17:25:18,389 303 | s.permDiff.memCopyTo(permDiff); 2025-09-08T17:25:18,389 | ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~ 2025-09-08T17:25:18,389 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,389 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,389 | ^ 2025-09-08T17:25:18,392 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Solver::Watcher]’: 2025-09-08T17:25:18,392 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Solver::Watcher]’ 2025-09-08T17:25:18,393 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:18,393 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:18,393 glucose-syrup-4.1/core/Solver.cc:471:31: required from here 2025-09-08T17:25:18,393 471 | watchesBin[~c[0]].push(Watcher(cr, c[1])); 2025-09-08T17:25:18,393 | ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:18,393 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,393 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,393 | ^ 2025-09-08T17:25:18,408 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::vec]’: 2025-09-08T17:25:18,408 glucose-syrup-4.1/mtl/Vec.h:137:13: required from ‘void Glucose::vec::growTo(int) [with T = Glucose::vec]’ 2025-09-08T17:25:18,408 137 | capacity(size); 2025-09-08T17:25:18,408 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:18,408 glucose-syrup-4.1/core/SolverTypes.h:376:18: required from ‘void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = Glucose::Lit; Vec = Glucose::vec; Deleted = Glucose::Solver::WatcherDeleted]’ 2025-09-08T17:25:18,408 376 | copy.occs.growTo(occs.size()); 2025-09-08T17:25:18,408 | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ 2025-09-08T17:25:18,408 glucose-syrup-4.1/core/Solver.cc:296:21: required from here 2025-09-08T17:25:18,409 296 | s.watches.copyTo(watches); 2025-09-08T17:25:18,409 | ~~~~~~~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:18,409 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2025-09-08T17:25:18,409 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,409 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:18,409 glucose-syrup-4.1/mtl/Vec.h:39:7: note: ‘class Glucose::vec’ declared here 2025-09-08T17:25:18,409 39 | class vec { 2025-09-08T17:25:18,409 | ^~~ 2025-09-08T17:25:18,409 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,409 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,410 | ^ 2025-09-08T17:25:18,416 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Map, long long unsigned int>::Pair]’: 2025-09-08T17:25:18,416 glucose-syrup-4.1/mtl/Vec.h:74:65: required from ‘void Glucose::vec::push() [with T = Glucose::Map, long long unsigned int>::Pair]’ 2025-09-08T17:25:18,416 74 | void push (void) { if (sz == cap) capacity(sz+1); new (&data[sz]) T(); sz++; } 2025-09-08T17:25:18,417 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:18,417 glucose-syrup-4.1/mtl/Map.h:81:16: required from ‘void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2025-09-08T17:25:18,417 81 | ps.push(); ps.last().key = k; ps.last().data = d; } 2025-09-08T17:25:18,417 | ~~~~~~~^~ 2025-09-08T17:25:18,417 glucose-syrup-4.1/mtl/Map.h:140:76: required from ‘void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2025-09-08T17:25:18,417 140 | void insert (const K& k, const D& d) { if (checkCap(size+1)) rehash(); _insert(k, d); size++; } 2025-09-08T17:25:18,417 | ^~~~~~~ 2025-09-08T17:25:18,417 glucose-syrup-4.1/core/SolverStats.h:73:23: required from here 2025-09-08T17:25:18,417 73 | map.insert(name, 0); 2025-09-08T17:25:18,417 | ~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:18,418 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose::Map, long long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2025-09-08T17:25:18,418 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,418 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:18,418 In file included from glucose-syrup-4.1/core/SolverTypes.h:61, 2025-09-08T17:25:18,418 from glucose-syrup-4.1/core/Solver.h:56: 2025-09-08T17:25:18,418 glucose-syrup-4.1/mtl/Map.h:62:12: note: ‘struct Glucose::Map, long long unsigned int>::Pair’ declared here 2025-09-08T17:25:18,418 62 | struct Pair { K key; D data; }; 2025-09-08T17:25:18,418 | ^~~~ 2025-09-08T17:25:18,419 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:18,419 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:18,419 | ^ 2025-09-08T17:25:18,431 In file included from glucose-syrup-4.1/core/Solver.cc:52: 2025-09-08T17:25:18,431 glucose-syrup-4.1/utils/System.h: At global scope: 2025-09-08T17:25:18,431 glucose-syrup-4.1/utils/System.h:35:22: warning: ‘double Glucose::realTime()’ declared ‘static’ but never defined [-Wunused-function] 2025-09-08T17:25:18,431 35 | static inline double realTime(void); 2025-09-08T17:25:18,431 | ^~~~~~~~ 2025-09-08T17:25:26,637 arm-linux-gnueabihf-g++ -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -fPIC -DINCREMENTAL=1 -DINCREMNENTAL=1 -Iglucose-syrup-4.1 -I/tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420/.eggs/pybind11-3.0.1-py3.13.egg/pybind11/include -I/tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420/.eggs/pybind11-3.0.1-py3.13.egg/pybind11/include -I/usr/include/python3.13 -c glucose-syrup-4.1/simp/SimpSolver.cc -o build/temp.linux-armv7l-cpython-313/glucose-syrup-4.1/simp/SimpSolver.o -DVERSION_INFO=\"0.0.1\" -std=c++14 -fvisibility=hidden 2025-09-08T17:25:27,095 In file included from glucose-syrup-4.1/utils/Options.h:30, 2025-09-08T17:25:27,096 from glucose-syrup-4.1/core/Solver.h:55, 2025-09-08T17:25:27,096 from glucose-syrup-4.1/simp/SimpSolver.h:54, 2025-09-08T17:25:27,096 from glucose-syrup-4.1/simp/SimpSolver.cc:51: 2025-09-08T17:25:27,096 glucose-syrup-4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’: 2025-09-08T17:25:27,096 glucose-syrup-4.1/utils/ParseUtils.h:101:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 2025-09-08T17:25:27,096 101 | while (*in >= '0' && *in <= '9') 2025-09-08T17:25:27,096 | ^~~~~ 2025-09-08T17:25:27,096 glucose-syrup-4.1/utils/ParseUtils.h:105:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 2025-09-08T17:25:27,097 105 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); 2025-09-08T17:25:27,097 | ^~ 2025-09-08T17:25:27,100 glucose-syrup-4.1/utils/Options.h: In member function ‘bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)’: 2025-09-08T17:25:27,100 glucose-syrup-4.1/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,100 63 | return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; 2025-09-08T17:25:27,100 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:27,731 glucose-syrup-4.1/simp/SimpSolver.cc: In member function ‘bool Glucose::SimpSolver::merge(const Glucose::Clause&, const Glucose::Clause&, Glucose::Var, Glucose::vec&)’: 2025-09-08T17:25:27,732 glucose-syrup-4.1/simp/SimpSolver.cc:345:20: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wdangling-else] 2025-09-08T17:25:27,732 345 | if (var(ps[j]) == var(qs[i])) 2025-09-08T17:25:27,732 | ^ 2025-09-08T17:25:27,733 glucose-syrup-4.1/simp/SimpSolver.cc: In member function ‘bool Glucose::SimpSolver::merge(const Glucose::Clause&, const Glucose::Clause&, Glucose::Var, int&)’: 2025-09-08T17:25:27,734 glucose-syrup-4.1/simp/SimpSolver.cc:379:20: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wdangling-else] 2025-09-08T17:25:27,734 379 | if (var(__ps[j]) == var(__qs[i])) 2025-09-08T17:25:27,734 | ^ 2025-09-08T17:25:27,841 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2025-09-08T17:25:27,841 from glucose-syrup-4.1/simp/SimpSolver.cc:50: 2025-09-08T17:25:27,841 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Option*]’: 2025-09-08T17:25:27,841 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Option*]’ 2025-09-08T17:25:27,841 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:27,841 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:27,842 glucose-syrup-4.1/utils/Options.h:76:29: required from here 2025-09-08T17:25:27,842 76 | getOptionList().push(this); 2025-09-08T17:25:27,842 | ~~~~~~~~~~~~~~~~~~~~^~~~~~ 2025-09-08T17:25:27,842 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,842 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,842 | ^ 2025-09-08T17:25:27,875 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Lit]’: 2025-09-08T17:25:27,875 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Lit]’ 2025-09-08T17:25:27,875 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:27,875 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:27,875 glucose-syrup-4.1/core/Solver.h:507:96: required from here 2025-09-08T17:25:27,875 507 | inline bool Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_(add_tmp); } 2025-09-08T17:25:27,875 | ~~~~~~~~~~~~^~~ 2025-09-08T17:25:27,876 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,876 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,876 | ^ 2025-09-08T17:25:27,876 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = int]’: 2025-09-08T17:25:27,876 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = int]’ 2025-09-08T17:25:27,876 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:27,876 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:27,876 glucose-syrup-4.1/core/Solver.h:518:81: required from here 2025-09-08T17:25:27,876 518 | inline void Solver::newDecisionLevel() { trail_lim.push(trail.size()); } 2025-09-08T17:25:27,876 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~ 2025-09-08T17:25:27,877 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,877 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,877 | ^ 2025-09-08T17:25:27,880 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = unsigned int]’: 2025-09-08T17:25:27,881 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = unsigned int]’ 2025-09-08T17:25:27,881 109 | copy.capacity(cap); 2025-09-08T17:25:27,881 | ~~~~~~~~~~~~~^~~~~ 2025-09-08T17:25:27,881 glucose-syrup-4.1/simp/SimpSolver.cc:133:28: required from here 2025-09-08T17:25:27,881 133 | s.elimclauses.memCopyTo(elimclauses); 2025-09-08T17:25:27,881 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ 2025-09-08T17:25:27,881 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,881 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,881 | ^ 2025-09-08T17:25:27,882 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = char]’: 2025-09-08T17:25:27,882 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = char]’ 2025-09-08T17:25:27,882 109 | copy.capacity(cap); 2025-09-08T17:25:27,882 | ~~~~~~~~~~~~~^~~~~ 2025-09-08T17:25:27,882 glucose-syrup-4.1/simp/SimpSolver.cc:134:24: required from here 2025-09-08T17:25:27,882 134 | s.touched.memCopyTo(touched); 2025-09-08T17:25:27,882 | ~~~~~~~~~~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:27,882 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,882 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,883 | ^ 2025-09-08T17:25:27,885 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::lbool]’: 2025-09-08T17:25:27,885 glucose-syrup-4.1/mtl/Vec.h:137:13: required from ‘void Glucose::vec::growTo(int) [with T = Glucose::lbool]’ 2025-09-08T17:25:27,885 137 | capacity(size); 2025-09-08T17:25:27,885 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:27,886 glucose-syrup-4.1/simp/SimpSolver.cc:687:37: required from here 2025-09-08T17:25:27,886 687 | if(model.size()==0) model.growTo(nVars()); 2025-09-08T17:25:27,886 | ~~~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:27,886 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,886 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,886 | ^ 2025-09-08T17:25:27,897 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::vec]’: 2025-09-08T17:25:27,897 glucose-syrup-4.1/mtl/Vec.h:137:13: required from ‘void Glucose::vec::growTo(int) [with T = Glucose::vec]’ 2025-09-08T17:25:27,898 137 | capacity(size); 2025-09-08T17:25:27,898 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:27,898 glucose-syrup-4.1/core/SolverTypes.h:376:18: required from ‘void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = int; Vec = Glucose::vec; Deleted = Glucose::SimpSolver::ClauseDeleted]’ 2025-09-08T17:25:27,898 376 | copy.occs.growTo(occs.size()); 2025-09-08T17:25:27,898 | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ 2025-09-08T17:25:27,898 glucose-syrup-4.1/simp/SimpSolver.cc:135:20: required from here 2025-09-08T17:25:27,898 135 | s.occurs.copyTo(occurs); 2025-09-08T17:25:27,898 | ~~~~~~~~~~~~~~~^~~~~~~~ 2025-09-08T17:25:27,898 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2025-09-08T17:25:27,898 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,899 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:27,899 glucose-syrup-4.1/mtl/Vec.h:39:7: note: ‘class Glucose::vec’ declared here 2025-09-08T17:25:27,899 39 | class vec { 2025-09-08T17:25:27,899 | ^~~ 2025-09-08T17:25:27,899 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,899 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,899 | ^ 2025-09-08T17:25:27,903 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Map, long long unsigned int>::Pair]’: 2025-09-08T17:25:27,903 glucose-syrup-4.1/mtl/Vec.h:74:65: required from ‘void Glucose::vec::push() [with T = Glucose::Map, long long unsigned int>::Pair]’ 2025-09-08T17:25:27,903 74 | void push (void) { if (sz == cap) capacity(sz+1); new (&data[sz]) T(); sz++; } 2025-09-08T17:25:27,903 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:27,903 glucose-syrup-4.1/mtl/Map.h:81:16: required from ‘void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2025-09-08T17:25:27,903 81 | ps.push(); ps.last().key = k; ps.last().data = d; } 2025-09-08T17:25:27,904 | ~~~~~~~^~ 2025-09-08T17:25:27,904 glucose-syrup-4.1/mtl/Map.h:140:76: required from ‘void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2025-09-08T17:25:27,904 140 | void insert (const K& k, const D& d) { if (checkCap(size+1)) rehash(); _insert(k, d); size++; } 2025-09-08T17:25:27,904 | ^~~~~~~ 2025-09-08T17:25:27,904 glucose-syrup-4.1/core/SolverStats.h:73:23: required from here 2025-09-08T17:25:27,904 73 | map.insert(name, 0); 2025-09-08T17:25:27,904 | ~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:27,904 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose::Map, long long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2025-09-08T17:25:27,904 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,904 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:27,905 In file included from glucose-syrup-4.1/core/SolverTypes.h:61, 2025-09-08T17:25:27,905 from glucose-syrup-4.1/core/Solver.h:56: 2025-09-08T17:25:27,905 glucose-syrup-4.1/mtl/Map.h:62:12: note: ‘struct Glucose::Map, long long unsigned int>::Pair’ declared here 2025-09-08T17:25:27,905 62 | struct Pair { K key; D data; }; 2025-09-08T17:25:27,905 | ^~~~ 2025-09-08T17:25:27,905 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:27,905 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:27,905 | ^ 2025-09-08T17:25:27,913 In file included from glucose-syrup-4.1/simp/SimpSolver.cc:52: 2025-09-08T17:25:27,914 glucose-syrup-4.1/utils/System.h: At global scope: 2025-09-08T17:25:27,914 glucose-syrup-4.1/utils/System.h:35:22: warning: ‘double Glucose::realTime()’ declared ‘static’ but never defined [-Wunused-function] 2025-09-08T17:25:27,914 35 | static inline double realTime(void); 2025-09-08T17:25:27,914 | ^~~~~~~~ 2025-09-08T17:25:32,119 arm-linux-gnueabihf-g++ -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -fPIC -DINCREMENTAL=1 -DINCREMNENTAL=1 -Iglucose-syrup-4.1 -I/tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420/.eggs/pybind11-3.0.1-py3.13.egg/pybind11/include -I/tmp/pip-wheel-tl9b9rg3/pyglucose_69fa4fdb95ee4ed9bb9fa9d33f645420/.eggs/pybind11-3.0.1-py3.13.egg/pybind11/include -I/usr/include/python3.13 -c pyglucose.cpp -o build/temp.linux-armv7l-cpython-313/pyglucose.o -DVERSION_INFO=\"0.0.1\" -std=c++14 -fvisibility=hidden 2025-09-08T17:25:37,590 In file included from glucose-syrup-4.1/utils/Options.h:30, 2025-09-08T17:25:37,590 from glucose-syrup-4.1/core/Solver.h:55, 2025-09-08T17:25:37,590 from pyglucose.cpp:5: 2025-09-08T17:25:37,590 glucose-syrup-4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’: 2025-09-08T17:25:37,590 glucose-syrup-4.1/utils/ParseUtils.h:101:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 2025-09-08T17:25:37,590 101 | while (*in >= '0' && *in <= '9') 2025-09-08T17:25:37,590 | ^~~~~ 2025-09-08T17:25:37,591 glucose-syrup-4.1/utils/ParseUtils.h:105:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 2025-09-08T17:25:37,591 105 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); 2025-09-08T17:25:37,591 | ^~ 2025-09-08T17:25:37,594 glucose-syrup-4.1/utils/Options.h: In member function ‘bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)’: 2025-09-08T17:25:37,594 glucose-syrup-4.1/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:37,594 63 | return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; 2025-09-08T17:25:37,595 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:39,230 In file included from glucose-syrup-4.1/mtl/Heap.h:24, 2025-09-08T17:25:39,230 from glucose-syrup-4.1/core/Solver.h:53: 2025-09-08T17:25:39,230 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Option*]’: 2025-09-08T17:25:39,230 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Option*]’ 2025-09-08T17:25:39,231 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:39,231 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:39,231 glucose-syrup-4.1/utils/Options.h:76:29: required from here 2025-09-08T17:25:39,231 76 | getOptionList().push(this); 2025-09-08T17:25:39,231 | ~~~~~~~~~~~~~~~~~~~~^~~~~~ 2025-09-08T17:25:39,231 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:39,231 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:39,231 | ^ 2025-09-08T17:25:39,238 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Lit]’: 2025-09-08T17:25:39,238 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Lit]’ 2025-09-08T17:25:39,238 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:39,238 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:39,238 glucose-syrup-4.1/core/Solver.h:507:96: required from here 2025-09-08T17:25:39,238 507 | inline bool Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_(add_tmp); } 2025-09-08T17:25:39,238 | ~~~~~~~~~~~~^~~ 2025-09-08T17:25:39,238 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:39,239 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:39,239 | ^ 2025-09-08T17:25:39,239 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = int]’: 2025-09-08T17:25:39,239 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = int]’ 2025-09-08T17:25:39,239 75 | void push (const T& elem) { if (sz == cap) capacity(sz+1); data[sz++] = elem; } 2025-09-08T17:25:39,239 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:39,239 glucose-syrup-4.1/core/Solver.h:518:81: required from here 2025-09-08T17:25:39,239 518 | inline void Solver::newDecisionLevel() { trail_lim.push(trail.size()); } 2025-09-08T17:25:39,239 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~ 2025-09-08T17:25:39,239 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:39,240 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:39,240 | ^ 2025-09-08T17:25:40,606 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Map, long long unsigned int>::Pair]’: 2025-09-08T17:25:40,606 glucose-syrup-4.1/mtl/Vec.h:74:65: required from ‘void Glucose::vec::push() [with T = Glucose::Map, long long unsigned int>::Pair]’ 2025-09-08T17:25:40,606 74 | void push (void) { if (sz == cap) capacity(sz+1); new (&data[sz]) T(); sz++; } 2025-09-08T17:25:40,606 | ~~~~~~~~^~~~~~ 2025-09-08T17:25:40,606 glucose-syrup-4.1/mtl/Map.h:81:16: required from ‘void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2025-09-08T17:25:40,607 81 | ps.push(); ps.last().key = k; ps.last().data = d; } 2025-09-08T17:25:40,607 | ~~~~~~~^~ 2025-09-08T17:25:40,607 glucose-syrup-4.1/mtl/Map.h:140:76: required from ‘void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2025-09-08T17:25:40,607 140 | void insert (const K& k, const D& d) { if (checkCap(size+1)) rehash(); _insert(k, d); size++; } 2025-09-08T17:25:40,607 | ^~~~~~~ 2025-09-08T17:25:40,607 glucose-syrup-4.1/core/SolverStats.h:73:23: required from here 2025-09-08T17:25:40,607 73 | map.insert(name, 0); 2025-09-08T17:25:40,607 | ~~~~~~~~~~^~~~~~~~~ 2025-09-08T17:25:40,607 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose::Map, long long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2025-09-08T17:25:40,608 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:40,608 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2025-09-08T17:25:40,608 In file included from glucose-syrup-4.1/core/SolverTypes.h:61, 2025-09-08T17:25:40,608 from glucose-syrup-4.1/core/Solver.h:56: 2025-09-08T17:25:40,608 glucose-syrup-4.1/mtl/Map.h:62:12: note: ‘struct Glucose::Map, long long unsigned int>::Pair’ declared here 2025-09-08T17:25:40,608 62 | struct Pair { K key; D data; }; 2025-09-08T17:25:40,608 | ^~~~ 2025-09-08T17:25:40,608 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2025-09-08T17:25:40,608 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2025-09-08T17:25:40,609 | ^ 2025-09-08T17:26:14,992 creating build/lib.linux-armv7l-cpython-313 2025-09-08T17:26:14,993 arm-linux-gnueabihf-g++ -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 build/temp.linux-armv7l-cpython-313/glucose-syrup-4.1/core/Solver.o build/temp.linux-armv7l-cpython-313/glucose-syrup-4.1/simp/SimpSolver.o build/temp.linux-armv7l-cpython-313/pyglucose.o -L/usr/lib/arm-linux-gnueabihf -o build/lib.linux-armv7l-cpython-313/pyglucose.cpython-313-arm-linux-gnueabihf.so 2025-09-08T17:26:15,627 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-08T17:26:15,628 !! 2025-09-08T17:26:15,628 ******************************************************************************** 2025-09-08T17:26:15,628 Please avoid running ``setup.py`` directly. 2025-09-08T17:26:15,628 Instead, use pypa/build, pypa/installer or other 2025-09-08T17:26:15,628 standards-based tools. 2025-09-08T17:26:15,628 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-08T17:26:15,629 or your builds will no longer be supported. 2025-09-08T17:26:15,629 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-08T17:26:15,629 ******************************************************************************** 2025-09-08T17:26:15,629 !! 2025-09-08T17:26:15,629 self.initialize_options() 2025-09-08T17:26:15,710 installing to build/bdist.linux-armv7l/wheel 2025-09-08T17:26:15,710 running install 2025-09-08T17:26:15,733 running install_lib 2025-09-08T17:26:15,809 creating build/bdist.linux-armv7l/wheel 2025-09-08T17:26:15,809 copying build/lib.linux-armv7l-cpython-313/pyglucose.cpython-313-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel/. 2025-09-08T17:26:15,827 running install_egg_info 2025-09-08T17:26:15,907 running egg_info 2025-09-08T17:26:15,983 writing pyglucose.egg-info/PKG-INFO 2025-09-08T17:26:15,984 writing dependency_links to pyglucose.egg-info/dependency_links.txt 2025-09-08T17:26:15,985 writing requirements to pyglucose.egg-info/requires.txt 2025-09-08T17:26:15,985 writing top-level names to pyglucose.egg-info/top_level.txt 2025-09-08T17:26:16,060 reading manifest file 'pyglucose.egg-info/SOURCES.txt' 2025-09-08T17:26:16,064 reading manifest template 'MANIFEST.in' 2025-09-08T17:26:16,067 adding license file 'LICENSE' 2025-09-08T17:26:16,071 writing manifest file 'pyglucose.egg-info/SOURCES.txt' 2025-09-08T17:26:16,072 Copying pyglucose.egg-info to build/bdist.linux-armv7l/wheel/./pyglucose-0.0.1-py3.13.egg-info 2025-09-08T17:26:16,074 running install_scripts 2025-09-08T17:26:16,127 creating build/bdist.linux-armv7l/wheel/pyglucose-0.0.1.dist-info/WHEEL 2025-09-08T17:26:16,128 creating '/tmp/pip-wheel-yxvb1fr4/pyglucose-0.0.1-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-08T17:26:16,936 adding 'pyglucose.cpython-313-arm-linux-gnueabihf.so' 2025-09-08T17:26:16,969 adding 'pyglucose-0.0.1.dist-info/licenses/LICENSE' 2025-09-08T17:26:16,970 adding 'pyglucose-0.0.1.dist-info/METADATA' 2025-09-08T17:26:16,970 adding 'pyglucose-0.0.1.dist-info/WHEEL' 2025-09-08T17:26:16,971 adding 'pyglucose-0.0.1.dist-info/top_level.txt' 2025-09-08T17:26:16,972 adding 'pyglucose-0.0.1.dist-info/RECORD' 2025-09-08T17:26:16,972 removing build/bdist.linux-armv7l/wheel 2025-09-08T17:26:17,120 Building wheel for pyglucose (setup.py): finished with status 'done' 2025-09-08T17:26:17,138 Created wheel for pyglucose: filename=pyglucose-0.0.1-cp313-cp313-linux_armv7l.whl size=1671296 sha256=08fa3b8445360f2b878b47dfd0dc264fbd9c1c229d7940306508464f4e395f25 2025-09-08T17:26:17,139 Stored in directory: /tmp/pip-ephem-wheel-cache-73j3b27h/wheels/fe/47/df/39eb28bd3090492496d1ce9dafa992aab29d098af963687799 2025-09-08T17:26:17,147 Successfully built pyglucose 2025-09-08T17:26:17,152 Removed build tracker: '/tmp/pip-build-tracker-shwv4hg1'