What is Qi? How exactly does it show the error/warning message(s) when attempting to install WSL2? Or is it simply not using a Win10 that satisfies the following requirement?
Code: Select all
For x64 systems: Version 1903 or higher, with Build 18362 or higher.
For ARM64 systems: Version 2004 or higher, with Build 19041 or higher.
Meanwhile, here is my attempt to run ikpx2 in WSL2. There is no problem with git clone:
Code: Select all
Cloning into 'ikpx2'...
remote: Enumerating objects: 647, done.
remote: Counting objects: 100% (50/50), done.
remote: Compressing objects: 100% (25/25), done.
remote: Total 647 (delta 30), reused 45 (delta 25), pack-reused 597
Receiving objects: 100% (647/647), 185.09 KiB | 304.00 KiB/s, done.
Resolving deltas: 100% (445/445), done.
Code: Select all
Updating submodules...
Submodule 'apgmera' (https://gitlab.com/apgoucher/apgmera.git) registered for path 'apgmera'
Submodule 'cadical' (https://github.com/arminbiere/cadical.git) registered for path 'cadical'
Submodule 'kissat' (https://github.com/arminbiere/kissat.git) registered for path 'kissat'
Cloning into '/home/azulena/ikpx2/apgmera'...
Cloning into '/home/azulena/ikpx2/cadical'...
Cloning into '/home/azulena/ikpx2/kissat'...
fatal: unable to access 'https://github.com/arminbiere/kissat.git/': GnuTLS recv error (-110): The TLS connection was non-properly terminated.
fatal: clone of 'https://github.com/arminbiere/kissat.git' into submodule path '/home/azulena/ikpx2/kissat' failed
Failed to clone 'kissat'. Retry scheduled
Cloning into '/home/azulena/ikpx2/kissat'...
Submodule path 'apgmera': checked out '912dceae9d7ccad328e6cd113afef7923aff8070'
Submodule 'lifelib' (https://gitlab.com/apgoucher/lifelib.git) registered for path 'apgmera/lifelib'
Cloning into '/home/azulena/ikpx2/apgmera/lifelib'...
Submodule path 'apgmera/lifelib': checked out 'ffa7ad8358e65194eca0f43164a63af127f1e524'
Submodule path 'cadical': checked out '88623ef0866370448c34f6e320c148fc18e6f4cc'
Submodule path 'kissat': checked out '8cf49a4351933e5ee73a5d7132d1c23e0528c13c'
Submodule path 'kissat': checked out '8cf49a4351933e5ee73a5d7132d1c23e0528c13c'
Building kissat solver...
configure: new build directory 'build'
configure: assuming GCC version 9.3.0 uses C99 by default
configure: compiler 'gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT'
configure: linker 'gcc' (no additional options)
configure: using default 'ar' (no cross compilation)
configure: no 'tissat' binary generated (without '--test')
configure: no 'libkissat.so' shared library generated (without '-shared')
configure: no 'kitten' binary generated (without '--kitten')
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/allocate.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/analyze.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/ands.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/arena.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/assign.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/autarky.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/averages.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/backbone.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/backtrack.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/backward.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/bits.c
../scripts/generate-build-header.sh > build.h
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -I../build -c ../src/build.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/bump.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/cache.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/check.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/clause.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/clueue.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/collect.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/colors.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/compact.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/config.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/decide.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/deduce.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/definition.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/dense.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/dominate.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/dump.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/eliminate.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/equivalences.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/error.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/extend.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/failed.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/file.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/flags.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/format.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/forward.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/gates.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/heap.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/ifthenelse.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/import.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/internal.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/kitten.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/learn.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/limits.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/logging.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/minimize.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/mode.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/nonces.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/options.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/phases.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/print.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/probe.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/profile.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/promote.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/proof.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/propdense.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/prophyper.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/proprobe.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/propsearch.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/queue.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/reap.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/reduce.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/reluctant.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/rephase.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/report.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/resize.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/resolve.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/resources.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/restart.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/search.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/shrink.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/smooth.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/sort.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/stack.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/statistics.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/strengthen.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/substitute.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/sweep.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/terminate.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/ternary.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/trail.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/transitive.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/utilities.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/vector.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/vivify.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/walk.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/watch.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/weaken.c
gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNOPTIONS -DQUIET -DSAT -c ../src/xors.c
ar rc libkissat.a allocate.o analyze.o ands.o arena.o assign.o autarky.o averages.o backbone.o backtrack.o backward.o bits.o build.o bump.o cache.o check.o clause.o clueue.o collect.o colors.o compact.o config.o decide.o deduce.o definition.o dense.o dominate.o dump.o eliminate.o equivalences.o error.o extend.o failed.o file.o flags.o format.o forward.o gates.o heap.o ifthenelse.o import.o internal.o kitten.o learn.o limits.o logging.o minimize.o mode.o nonces.o options.o phases.o print.o probe.o profile.o promote.o proof.o propdense.o prophyper.o proprobe.o propsearch.o queue.o reap.o reduce.o reluctant.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o stack.o statistics.o strengthen.o substitute.o sweep.o terminate.o ternary.o trail.o transitive.o utilities.o vector.o vivify.o walk.o watch.o weaken.o xors.o
Building cadical solver...
configure: making default 'build' directory
configure: building in default '/home/azulena/ikpx2/cadical/build'
configure: root directory '/home/azulena/ikpx2/cadical'
configure: compiler supports all required C99/C++11 extensions
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/home/azulena/ikpx2/cadical/build/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/analyze.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/arena.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/assume.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/averages.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/backtrack.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/backward.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/bins.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/block.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/ccadical.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/checker.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/clause.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/collect.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/compact.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/condition.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/config.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/contract.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/cover.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/decide.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/decompose.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/deduplicate.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/elim.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/ema.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/extend.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/external.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/file.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/flags.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/format.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/gates.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/instantiate.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/internal.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/ipasir.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/limit.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/logging.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/lookahead.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/lucky.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/message.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/minimize.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/occs.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/options.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/parse.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/phases.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/probe.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/profile.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/proof.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/propagate.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/queue.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/random.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/reap.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/reduce.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/rephase.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/report.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/resources.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/restart.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/restore.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/score.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/shrink.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/signal.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/solution.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/solver.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/stats.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/subsume.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/terminal.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/ternary.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/tracer.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/transred.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/util.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/var.cpp
../scripts/make-build-header.sh > build.hpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/version.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/vivify.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/walk.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -I../build -c ../src/watch.cpp
ar rc libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o contract.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o
Configuring lifelib...
Using /usr/bin/python3 to configure lifelib...
Valid symmetry: ikpx2_stdin
Success!
Gathering latest library versions...
Compiling ikpx2...
In file included from src/main.cpp:3:
src/core.hpp: In member function ‘void semisearch::load_file(std::string, uint32_t)’:
src/core.hpp:282:14: warning: ignoring return value of ‘size_t fread(void*, size_t, size_t, FILE*)’, declared with attribute warn_unused_result [-Wunused-result]
282 | fread(&bigheader, 8, 1, fptr);
| ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
In file included from src/core.hpp:3,
from src/main.cpp:3:
src/ikpxtree.hpp: In member function ‘void ikpxtree::read_from_file(FILE*)’:
src/ikpxtree.hpp:46:14: warning: ignoring return value of ‘size_t fread(void*, size_t, size_t, FILE*)’, declared with attribute warn_unused_result [-Wunused-result]
46 | fread(header, 8, 2, fptr);
| ~~~~~^~~~~~~~~~~~~~~~~~~~
src/ikpxtree.hpp:52:18: warning: ignoring return value of ‘size_t fread(void*, size_t, size_t, FILE*)’, declared with attribute warn_unused_result [-Wunused-result]
52 | fread(&ps, 16, 1, fptr);
| ~~~~~^~~~~~~~~~~~~~~~~~
src/ikpxtree.hpp:53:18: warning: ignoring return value of ‘size_t fread(void*, size_t, size_t, FILE*)’, declared with attribute warn_unused_result [-Wunused-result]
53 | fread(u.data(), 8, N, fptr);
| ~~~~~^~~~~~~~~~~~~~~~~~~~~~
**** build process completed successfully ****