>>> picat: Building community/picat 3.6.4-r0 (using abuild 3.13.0-r3) started Wed, 01 May 2024 09:13:48 +0000 >>> picat: Checking sanity of /home/buildozer/aports/community/picat/APKBUILD... >>> picat: Analyzing dependencies... >>> picat: Installing for build: build-base (1/1) Installing .makedepends-picat (20240501.091348) OK: 472 MiB in 108 packages >>> picat: Cleaning up srcdir >>> picat: Cleaning up pkgdir >>> picat: Cleaning up tmpdir >>> picat: Fetching https://distfiles.alpinelinux.org/distfiles/v3.20/picat-3.6.4.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) wget: server returned error: HTTP/1.1 404 Not Found >>> picat: Fetching picat-3.6.4.tar.gz::http://picat-lang.org/download/picat364_src.tar.gz Connecting to picat-lang.org (64.71.35.59:80) saving to '/var/cache/distfiles/v3.20/picat-3.6.4.tar.gz.part' picat-3.6.4.tar.gz.p 5% |* | 1160k 0:00:15 ETA picat-3.6.4.tar.gz.p 100% |********************************| 18.9M 0:00:00 ETA '/var/cache/distfiles/v3.20/picat-3.6.4.tar.gz.part' saved >>> picat: Fetching https://distfiles.alpinelinux.org/distfiles/v3.20/picat-3.6.4.tar.gz >>> picat: Checking sha512sums... picat-3.6.4.tar.gz: OK fix-fileno-usage.patch: OK >>> picat: Unpacking /var/cache/distfiles/v3.20/picat-3.6.4.tar.gz... >>> picat: fix-fileno-usage.patch patching file file.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label dis.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label init.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label init_sym.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label loader.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label inst_inf.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label main.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label toam.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label unify.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label file.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label domain.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label cfd.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label float1.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label arith.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label token.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label global.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label builtins.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label mic.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label numbervars.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label cpreds.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label univ.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label assert_bp.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label findall.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label clause.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label delay.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label clpfd.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label clpfd_libs.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label event.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label toamprofile.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label kapi.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -c -o getline.o getline.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label table.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label gcstack.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label gcheap.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -c -o gcqueue.o gcqueue.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label debug.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label expand_bp.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label bigint.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label sapi.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label kissat_picat.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Iespresso espresso_bp.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label picat_utilities.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Ifann/src/include fann/src/fann.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Ifann/src/include fann/src/fann_cascade.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Ifann/src/include fann/src/fann_error.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Ifann/src/include fann/src/fann_io.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Ifann/src/include fann/src/fann_train.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Ifann/src/include fann/src/fann_train_data.c g++ -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -Ifann/src/include fann/fann_interface.cpp gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o black_white.o espresso/black_white.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o canonical.o espresso/canonical.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cofactor.o espresso/cofactor.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cols.o espresso/cols.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o compl.o espresso/compl.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o contain.o espresso/contain.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cpu_time.o espresso/cpu_time.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cubestr.o espresso/cubestr.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrin.o espresso/cvrin.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrm.o espresso/cvrm.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrmisc.o espresso/cvrmisc.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrout.o espresso/cvrout.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o dominate.o espresso/dominate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o equiv.o espresso/equiv.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o espresso.o espresso/espresso.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o espresso_expand.o espresso/espresso_expand.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o essen.o espresso/essen.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o essentiality.o espresso/essentiality.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o exact.o espresso/exact.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o gasp.o espresso/gasp.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o gimpel.o espresso/gimpel.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o globals.o espresso/globals.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o hack.o espresso/hack.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o indep.o espresso/indep.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o irred.o espresso/irred.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o map.o espresso/map.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o matrix.o espresso/matrix.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o mincov.o espresso/mincov.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o opo.o espresso/opo.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o pair.o espresso/pair.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o part.o espresso/part.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o primes.o espresso/primes.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o prtime.o espresso/prtime.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o reduce.o espresso/reduce.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o rows.o espresso/rows.c fann/fann_interface.cpp: In function 'fann_activationfunc_enum picat_to_fann_func(TERM)': fann/fann_interface.cpp:129:1: warning: control reaches end of non-void function [-Wreturn-type] 129 | } | ^ gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o set.o espresso/set.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o setc.o espresso/setc.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sharp.o espresso/sharp.c fann/fann_interface.cpp: In function 'int pi_fann_get_training_algorithm()': fann/fann_interface.cpp:1083:9: warning: control reaches end of non-void function [-Wreturn-type] 1083 | } | ^ fann/fann_interface.cpp: In function 'int pi_get_activation_function()': fann/fann_interface.cpp:1222:9: warning: control reaches end of non-void function [-Wreturn-type] 1222 | } | ^ fann/fann_interface.cpp: In function 'int pi_fann_get_train_error()': fann/fann_interface.cpp:1381:9: warning: control reaches end of non-void function [-Wreturn-type] 1381 | } | ^ fann/fann_interface.cpp: In function 'int pi_fann_get_train_stop_function()': fann/fann_interface.cpp:1413:9: warning: control reaches end of non-void function [-Wreturn-type] 1413 | } | ^ gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sigma.o espresso/sigma.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o signature.o espresso/signature.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o signature_exact.o espresso/signature_exact.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sminterf.o espresso/sminterf.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o solution.o espresso/solution.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sparse.o espresso/sparse.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o unate.o espresso/unate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o util_signature.o espresso/util_signature.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o verify.o espresso/verify.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_allocate.o kissat/src/allocate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_analyze.o kissat/src/analyze.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_ands.o kissat/src/ands.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_application.o kissat/src/application.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_arena.o kissat/src/arena.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_assign.o kissat/src/assign.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_autarky.o kissat/src/autarky.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_averages.o kissat/src/averages.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_backtrack.o kissat/src/backtrack.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_backward.o kissat/src/backward.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_build.o kissat/src/build.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_bump.o kissat/src/bump.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_check.o kissat/src/check.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_clause.o kissat/src/clause.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_clueue.o kissat/src/clueue.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_collect.o kissat/src/collect.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_colors.o kissat/src/colors.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_compact.o kissat/src/compact.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_config.o kissat/src/config.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_decide.o kissat/src/decide.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_deduce.o kissat/src/deduce.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_dense.o kissat/src/dense.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_dominate.o kissat/src/dominate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_dump.o kissat/src/dump.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_eliminate.o kissat/src/eliminate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_equivalences.o kissat/src/equivalences.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_error.o kissat/src/error.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_extend.o kissat/src/extend.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_failed.o kissat/src/failed.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_file.o kissat/src/file.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_flags.o kissat/src/flags.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_format.o kissat/src/format.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_forward.o kissat/src/forward.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_frames.o kissat/src/frames.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_gates.o kissat/src/gates.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_handle.o kissat/src/handle.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_heap.o kissat/src/heap.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_ifthenelse.o kissat/src/ifthenelse.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_import.o kissat/src/import.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_internal.o kissat/src/internal.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_learn.o kissat/src/learn.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_limits.o kissat/src/limits.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_logging.o kissat/src/logging.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_main.o kissat/src/main.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_minimize.o kissat/src/minimize.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_mode.o kissat/src/mode.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_options.o kissat/src/options.c kissat/src/main.c:31:1: warning: 'kissat_alarm_handler' defined but not used [-Wunused-function] 31 | kissat_alarm_handler (void) | ^~~~~~~~~~~~~~~~~~~~ kissat/src/main.c:15:1: warning: 'kissat_signal_handler' defined but not used [-Wunused-function] 15 | kissat_signal_handler (int sig) | ^~~~~~~~~~~~~~~~~~~~~ gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_parse.o kissat/src/parse.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_phases.o kissat/src/phases.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_print.o kissat/src/print.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_probe.o kissat/src/probe.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_profile.o kissat/src/profile.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_promote.o kissat/src/promote.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_proof.o kissat/src/proof.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_propdense.o kissat/src/propdense.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_prophyper.o kissat/src/prophyper.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_proprobe.o kissat/src/proprobe.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_propsearch.o kissat/src/propsearch.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_queue.o kissat/src/queue.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_reduce.o kissat/src/reduce.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_reluctant.o kissat/src/reluctant.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_rephase.o kissat/src/rephase.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_report.o kissat/src/report.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_resize.o kissat/src/resize.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_resolve.o kissat/src/resolve.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_resources.o kissat/src/resources.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_restart.o kissat/src/restart.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_search.o kissat/src/search.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_smooth.o kissat/src/smooth.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_sort.o kissat/src/sort.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_stack.o kissat/src/stack.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_statistics.o kissat/src/statistics.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_strengthen.o kissat/src/strengthen.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_substitute.o kissat/src/substitute.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_terminate.o kissat/src/terminate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_ternary.o kissat/src/ternary.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_trail.o kissat/src/trail.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_transitive.o kissat/src/transitive.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_utilities.o kissat/src/utilities.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_vector.o kissat/src/vector.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_vivify.o kissat/src/vivify.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_walk.o kissat/src/walk.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_watch.o kissat/src/watch.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_weaken.o kissat/src/weaken.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_witness.o kissat/src/witness.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_xors.o kissat/src/xors.c In function 'substitute_clauses', inlined from 'substitute_round' at kissat/src/substitute.c:597:3, inlined from 'substitute_rounds' at kissat/src/substitute.c:621:10, inlined from 'kissat_substitute' at kissat/src/substitute.c:654:3: kissat/src/substitute.c:569:30: warning: array subscript 3 is above array bounds of 'unsigned int[3]' [-Warray-bounds=] 569 | c->lits[old_size - 1] = INVALID_LIT; | ~~~~~~~^~~~~~~~~~~~~~ In file included from kissat/src/internal.h:8, from kissat/src/inline.h:4, from kissat/src/substitute.c:3: kissat/src/clause.h: In function 'kissat_substitute': kissat/src/clause.h:33:12: note: while referencing 'lits' 33 | unsigned lits[3]; | ^~~~ g++ -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -o picat -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label dis.o init.o init_sym.o loader.o inst_inf.o main.o toam.o unify.o file.o domain.o cfd.o float1.o arith.o token.o global.o builtins.o mic.o numbervars.o cpreds.o univ.o assert_bp.o findall.o clause.o delay.o clpfd.o clpfd_libs.o event.o toamprofile.o kapi.o getline.o table.o gcstack.o gcheap.o gcqueue.o debug.o expand_bp.o bigint.o sapi.o kissat_picat.o espresso_bp.o picat_utilities.o fann.o fann_cascade.o fann_error.o fann_io.o fann_train.o fann_train_data.o fann_interface.o black_white.o canonical.o cofactor.o cols.o compl.o contain.o cpu_time.o cubestr.o cvrin.o cvrm.o cvrmisc.o cvrout.o dominate.o equiv.o espresso.o espresso_expand.o essen.o essentiality.o exact.o gasp.o gimpel.o globals.o hack.o indep.o irred.o map.o matrix.o mincov.o opo.o pair.o part.o primes.o prtime.o reduce.o rows.o set.o setc.o sharp.o sigma.o signature.o signature_exact.o sminterf.o solution.o sparse.o unate.o util_signature.o verify.o kis_allocate.o kis_analyze.o kis_ands.o kis_application.o kis_arena.o kis_assign.o kis_autarky.o kis_averages.o kis_backtrack.o kis_backward.o kis_build.o kis_bump.o kis_check.o kis_clause.o kis_clueue.o kis_collect.o kis_colors.o kis_compact.o kis_config.o kis_decide.o kis_deduce.o kis_dense.o kis_dominate.o kis_dump.o kis_eliminate.o kis_equivalences.o kis_error.o kis_extend.o kis_failed.o kis_file.o kis_flags.o kis_format.o kis_forward.o kis_frames.o kis_gates.o kis_handle.o kis_heap.o kis_ifthenelse.o kis_import.o kis_internal.o kis_learn.o kis_limits.o kis_logging.o kis_main.o kis_minimize.o kis_mode.o kis_options.o kis_parse.o kis_phases.o kis_print.o kis_probe.o kis_profile.o kis_promote.o kis_proof.o kis_propdense.o kis_prophyper.o kis_proprobe.o kis_propsearch.o kis_queue.o kis_reduce.o kis_reluctant.o kis_rephase.o kis_report.o kis_resize.o kis_resolve.o kis_resources.o kis_restart.o kis_search.o kis_smooth.o kis_sort.o kis_stack.o kis_statistics.o kis_strengthen.o kis_substitute.o kis_terminate.o kis_ternary.o kis_trail.o kis_transitive.o kis_utilities.o kis_vector.o kis_vivify.o kis_walk.o kis_watch.o kis_weaken.o kis_witness.o kis_xors.o -lm -lpthread Picat version 3.6#4 >>> picat: Entering fakeroot... created directory: '/home/buildozer/aports/community/picat/pkg/' created directory: '/home/buildozer/aports/community/picat/pkg/picat/' created directory: '/home/buildozer/aports/community/picat/pkg/picat/usr/' created directory: '/home/buildozer/aports/community/picat/pkg/picat/usr/bin/' 'picat' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/bin/picat' created directory: '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/' created directory: '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat' '/home/buildozer/aports/community/picat/src/Picat/lib/acyclic_d.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/acyclic_d.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/basic.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/basic.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/bug.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/bug.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/common_constr.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/common_constr.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/cp.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/cp.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/cp_sat_mip_smt.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/cp_sat_mip_smt.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/datetime.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/datetime.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/hcp.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/hcp.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/io.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/io.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/l.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/l.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/math.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/math.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/mip.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/mip.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/mip_aux.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/mip_aux.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/mip_smt.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/mip_smt.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/nn.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/nn.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/ordset.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/ordset.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/os.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/os.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/path.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/path.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/picat_lib_aux.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/picat_lib_aux.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/planner.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/planner.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/prism.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/prism.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/prism_ex.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/prism_ex.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/sat.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/sat.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/sat_lfsr.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/sat_lfsr.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/sat_mip.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/sat_mip.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/sat_mip_smt.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/sat_mip_smt.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/scc.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/scc.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/scc_d.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/scc_d.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/smt.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/smt.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/smt_aux.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/smt_aux.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/sys.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/sys.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/temp.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/temp.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/test.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/test.pi' '/home/buildozer/aports/community/picat/src/Picat/lib/util.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/util.pi' created directory: '/home/buildozer/aports/community/picat/pkg/picat/usr/share/' created directory: '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/' created directory: '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat' '/home/buildozer/aports/community/picat/src/Picat/README' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/README' '/home/buildozer/aports/community/picat/src/Picat/LICENSE' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/LICENSE' '/home/buildozer/aports/community/picat/src/Picat/doc/appendix_operators.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/appendix_operators.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/ar.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/ar.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/builtin.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/builtin.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/cinterface.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/cinterface.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/constraints.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/constraints.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/data_types.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/data_types.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/datetime.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/datetime.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/exception.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/exception.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/format.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/format.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/get_started.pdf' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/get_started.pdf' '/home/buildozer/aports/community/picat/src/Picat/doc/get_started.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/get_started.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/intro_sys.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/intro_sys.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/io.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/io.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/lex_grammar.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/lex_grammar.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/loops.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/loops.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/math.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/math.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/module.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/module.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/neuralnets.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/neuralnets.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/nn.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/nn.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/operators.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/operators.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/ordset.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/ordset.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/os.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/os.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/overview.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/overview.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/picat_guide.pdf' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/picat_guide.pdf' '/home/buildozer/aports/community/picat/src/Picat/doc/picat_guide.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/picat_guide.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/planner.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/planner.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/predfunc.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/predfunc.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/preface.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/preface.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/syntax_grammar.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/syntax_grammar.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/sys.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/sys.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/tabling.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/tabling.tex' '/home/buildozer/aports/community/picat/src/Picat/doc/util.tex' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/util.tex' '/home/buildozer/aports/community/picat/src/Picat/exs/test_exs.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/test_exs.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/sudoku.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/sudoku.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/bqueens.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/bqueens.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/numberlink_b.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/numberlink_b.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/maxClique.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/maxClique.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/vmtl.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/vmtl.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/queens.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/queens.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/crossword.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/crossword.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/magic_square.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/magic_square.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat/marriage_roman_sat.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat/marriage_roman_sat.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/sat' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/tmip_ex5.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/tmip_ex5.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/tmip_ex1.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/tmip_ex1.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/bqueens.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/bqueens.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/tmip_ex6.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/tmip_ex6.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/diet.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/diet.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/tmip_ex4.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/tmip_ex4.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/maxflow_mip.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/maxflow_mip.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/coin.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/coin.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/tmip_ex3.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/tmip_ex3.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/tmip_ex7.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/tmip_ex7.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip/tmip_ex2.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip/tmip_ex2.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/mip' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/treasure.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/treasure.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/water.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/water.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/15_puzzle.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/15_puzzle.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/nomystery.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/nomystery.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/klotski.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/klotski.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/ricochet.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/ricochet.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/solitaire.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/solitaire.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/sokoban.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/sokoban.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner/farmer.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner/farmer.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/planner' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/planner' '/home/buildozer/aports/community/picat/src/Picat/exs/test_exs_cp.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/test_exs_cp.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/smt/sudoku.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/smt/sudoku.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/smt/bqueens.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/smt/bqueens.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/smt/maxClique.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/smt/maxClique.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/smt/queens.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/smt/queens.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/smt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/smt' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/sudoku.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/sudoku.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/pigeon_hole.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/pigeon_hole.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/kakuro.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/kakuro.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/queens.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/queens.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/zebra.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/zebra.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/knightTour.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/knightTour.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/sequence.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/sequence.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp/ppm.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp/ppm.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/cp' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/mnist/digits_train.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/mnist/digits_train.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/mnist/README.md' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/mnist/README.md' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/mnist/digits_test.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/mnist/digits_test.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/mnist' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/mnist' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/TestX.csv' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/TestX.csv' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/spam.net' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/spam.net' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/Train.csv' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/Train.csv' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/README.md' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/README.md' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/spambase.names' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/spambase.names' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/spambase.data' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/spambase.data' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/Train.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/Train.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/spambase.DOCUMENTATION' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/spambase.DOCUMENTATION' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/test.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/test.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/train.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/train.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector/csv2fann.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector/csv2fann.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/spam_detector' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/spam_detector' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/scaling/scaling_train.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/scaling/scaling_train.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/scaling/scaling_test.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/scaling/scaling_test.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/scaling/scaling.data' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/scaling/scaling.data' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/scaling/scaling.tar.gz' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/scaling/scaling.tar.gz' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/scaling' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/scaling' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/processed_chesterton1.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/processed_chesterton1.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/processed_melville1.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/processed_melville1.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/chesterton2.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/chesterton2.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/transition_probabilities.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/transition_probabilities.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/chesterton3.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/chesterton3.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/processed_chesterton2.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/processed_chesterton2.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/README.md' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/README.md' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/chesterton1.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/chesterton1.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/melville1.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/melville1.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/melville3.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/melville3.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/author_classify_test.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/author_classify_test.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/processed_chesterton3.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/processed_chesterton3.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/transition_probabilities.data' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/transition_probabilities.data' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/processed_melville2.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/processed_melville2.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/author_classify_train.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/author_classify_train.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/melville2.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/melville2.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/preprocess.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/preprocess.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify/processed_melville3.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify/processed_melville3.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/author_classify' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/author_classify' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/lang_classify_test.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/lang_classify_test.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/french3.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/french3.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/frequencies.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/frequencies.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/spanish3.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/spanish3.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/lang_classify.net' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/lang_classify.net' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/README.md' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/README.md' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/frequencies.data' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/frequencies.data' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/french1.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/french1.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/english2.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/english2.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/french2.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/french2.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/spanish2.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/spanish2.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/lang_classify_train.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/lang_classify_train.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/spanish1.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/spanish1.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/english1.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/english1.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify/english3.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify/english3.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/lang_classify' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/lang_classify' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor/xor_train_file.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor/xor_train_file.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor/xor_test.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor/xor_test.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor/__tmp.data' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor/__tmp.data' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor/xor.data' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor/xor.data' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor/xor_train_data.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor/xor_train_data.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor/xor.net' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor/xor.net' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor/fann_xor.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor/fann_xor.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/nn/xor' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn/xor' '/home/buildozer/aports/community/picat/src/Picat/exs/nn' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p48.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p48.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p3.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p3.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p20.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p20.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p1.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p1.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p19.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p19.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p108.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p108.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/test.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/test.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p23.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p23.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p33.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p33.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p16.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p16.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p18.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p18.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p52.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p52.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p39.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p39.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p1_rb.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p1_rb.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/words.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/words.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p21.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p21.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p32.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p32.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p31.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p31.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p27.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p27.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p7.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p7.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p22.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p22.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p49.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p49.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p106.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p106.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p45.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p45.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p67_old.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p67_old.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p12.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p12.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p14.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p14.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p46.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p46.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p38.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p38.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p10_rb.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p10_rb.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p47.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p47.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p28.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p28.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p43.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p43.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/triangle.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/triangle.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/pi_rb.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/pi_rb.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p50.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p50.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p42.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p42.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p9_rb.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p9_rb.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p8.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p8.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p9.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p9.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p17.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p17.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p30.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p30.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p41.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p41.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p37.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p37.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p206.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p206.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p6.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p6.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p34.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p34.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p11.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p11.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p2.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p2.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p44.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p44.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p40.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p40.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p100.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p100.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p7_old.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p7_old.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p10.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p10.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/names.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/names.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p2_rb.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p2_rb.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p24.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p24.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p29.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p29.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p25.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p25.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p15.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p15.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p36.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p36.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p5.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p5.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p4.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p4.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p26.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p26.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p13.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p13.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/base_exp.txt' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/base_exp.txt' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p67.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p67.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p35.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p35.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler/p99.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler/p99.pi' '/home/buildozer/aports/community/picat/src/Picat/exs/euler' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler' '/home/buildozer/aports/community/picat/src/Picat/exs/exs.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/exs.pi' '/home/buildozer/aports/community/picat/src/Picat/exs' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples' >>> picat-doc*: Running split function doc... >>> picat-doc*: Preparing subpackage picat-doc... >>> picat-doc*: Running postcheck for picat-doc >>> picat*: Running postcheck for picat >>> picat*: Preparing package picat... >>> picat*: Stripping binaries >>> picat-doc*: Scanning shared objects >>> picat*: Scanning shared objects >>> WARNING: picat-doc*: The -doc subpackage is unusually large, consider splitting it >>> picat-doc*: Tracing dependencies... >>> picat-doc*: Package size: 5.4 MB >>> picat-doc*: Compressing data... >>> picat-doc*: Create checksum... >>> picat-doc*: Create picat-doc-3.6.4-r0.apk >>> picat*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libstdc++.so.6 >>> picat*: Package size: 5.9 MB >>> picat*: Compressing data... >>> picat*: Create checksum... >>> picat*: Create picat-3.6.4-r0.apk >>> picat: Build complete at Wed, 01 May 2024 09:14:17 +0000 elapsed time 0h 0m 29s >>> picat: Cleaning up srcdir >>> picat: Cleaning up pkgdir >>> picat: Uninstalling dependencies... (1/1) Purging .makedepends-picat (20240501.091348) OK: 472 MiB in 107 packages >>> picat: Updating the community/x86_64 repository index... >>> picat: Signing the index...