>>> picat: Building community/picat 3.8.7-r0 (using abuild 3.14.1-r7) started Wed, 02 Apr 2025 03:33:15 +0000
>>> picat: Validating /home/buildozer/aports/community/picat/APKBUILD...
>>> picat: Analyzing dependencies...
>>> picat: Installing for build: build-base
(1/1) Installing .makedepends-picat (20250402.033316)
OK: 399 MiB in 107 packages
>>> picat: Cleaning up srcdir
>>> picat: Cleaning up pkgdir
>>> picat: Cleaning up tmpdir
>>> picat: Fetching https://distfiles.alpinelinux.org/distfiles/edge/picat-3.8.7.tar.gz
Connecting to distfiles.alpinelinux.org (172.105.82.32:443)
saving to '/var/cache/distfiles/edge/picat-3.8.7.tar.gz.part'
picat-3.8.7.tar.gz.p 100% |********************************| 18.8M  0:00:00 ETA
'/var/cache/distfiles/edge/picat-3.8.7.tar.gz.part' saved
>>> picat: Fetching https://distfiles.alpinelinux.org/distfiles/edge/picat-3.8.7.tar.gz
>>> picat: Checking sha512sums...
picat-3.8.7.tar.gz: OK
fix-fileno-usage.patch: OK
use-time_t.patch: OK
>>> picat: Unpacking /var/cache/distfiles/edge/picat-3.8.7.tar.gz...
>>> picat: fix-fileno-usage.patch
patching file file.c
>>> picat: use-time_t.patch
patching file 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  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
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
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
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 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
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 -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
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
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_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.8#7 (hybrid)
>>> 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/basic.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/basic.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/io.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/lib/picat/io.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/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_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/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/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/exs.pi' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/exs.pi'
'/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/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/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/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/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/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/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/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/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' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/sat'
'/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/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/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/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/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/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/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/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' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/cp'
'/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/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/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/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/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/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/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' -> '/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/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/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/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/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' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/smt'
'/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/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_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_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/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/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/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/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/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' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/mip'
'/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/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/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/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/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/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/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/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/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/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/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/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/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/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_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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/euler'
'/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/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' -> '/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/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.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/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/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/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/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.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/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/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/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' -> '/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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' -> '/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_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/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.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/__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.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/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/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/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/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/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_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_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.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/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/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/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/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/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/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/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/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/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/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_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' -> '/home/buildozer/aports/community/picat/pkg/picat/usr/share/doc/picat/examples/nn'
'/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...
'usr/share/doc' -> '/home/buildozer/aports/community/picat/pkg/picat-doc/usr/share/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: 4.8 MB
>>> picat-doc*: Compressing data...
>>> picat-doc*: Create checksum...
>>> picat-doc*: Create picat-doc-3.8.7-r0.apk
>>> picat*: Tracing dependencies...
	so:libc.musl-x86_64.so.1
	so:libstdc++.so.6
>>> picat*: Package size: 5.7 MB
>>> picat*: Compressing data...
>>> picat*: Create checksum...
>>> picat*: Create picat-3.8.7-r0.apk
>>> picat: Build complete at Wed, 02 Apr 2025 03:33:33 +0000 elapsed time 0h 0m 18s
>>> picat: Cleaning up srcdir
>>> picat: Cleaning up pkgdir
>>> picat: Uninstalling dependencies...
(1/1) Purging .makedepends-picat (20250402.033316)
OK: 399 MiB in 106 packages
>>> picat: Updating the community/x86_64 repository index...
>>> picat: Signing the index...