Page 8 of 18

Re: Thread for your script-related questions

Posted: June 5th, 2021, 2:24 pm
by cgoler2

Code: Select all

./ikpx2 -h
gives you a list of commands.

Re: Thread for your script-related questions

Posted: June 5th, 2021, 10:10 pm
by Sokwe
pzq_alex wrote:
June 5th, 2021, 2:11 pm
How can I get ikpx2.2 to extend a specified partial?
Save the partial as a .rle file and include it as one of the input files. You also may want to use the -m command to start from a desired depth within the partial. For example, your input might look like

Code: Select all

./ikpx2 -v '(2,1)c/6' -m 60 partial.rle
As cgoler2 mentioned above, use "./ikpx2 -h" to get a list of commands.

Re: A Java question not related to CA (sorry)

Posted: June 7th, 2021, 4:33 am
by lemon41625
GUYTU6J wrote:
May 28th, 2021, 9:52 am
Continued from this post:
GUYTU6J wrote:
April 10th, 2021, 1:56 am
How do I compile and run the Java QuasiTiler from https://sourceforge.net/projects/quasitiler/? I have installed Java —

Code: Select all

java version "1.8.0_281"
Java(TM) SE Runtime Environment (build 1.8.0_281-b09)
Java HotSpot(TM) Client VM (build 25.281-b09, mixed mode, sharing)
— but my command prompt doesn't recognize "javac".
I realized that a completely different thing called Java(TM) SE Development Toolkit 16 (64-bit) is required to use command "javac". However, the existence of jdk prevents me from running other .jar files like SeedsOfDestruction.v0-5.jar by simply clicking on it. Why is there such a conflict?
Seeds of destruction needs java 8. You will need to remove java 16 from your computer's PATH.

Re: Thread for your script-related questions

Posted: June 11th, 2021, 1:55 pm
by wwei47
How can I optimize dr for catalyst searches?

Re: Thread for your script-related questions

Posted: June 12th, 2021, 9:39 pm
by googoIpIex
What are good parameters for ikpx2?

Re: Thread for your script-related questions

Posted: June 20th, 2021, 3:01 pm
by wwei47
How can I fix this error?

Code: Select all

$ ./recompile.sh --rule b01e2c3i4es1e3y4et
sh -c 'rm -f apgluxe *.o */*.o *.op */*.op *.gdca */*.gcda *.profraw *.profdata || true'
echo Clean done
Clean done
Ensuring lifelib is up-to-date...
Symmetry unspecified; assuming C1.
Configuring rule b01e2c3i4es1e3y4et; symmetry C1
which: no python3 in (/usr/local/bin:/usr/bin:/cygdrive/c/Python27:/cygdrive/c/Python27/Scripts:/cygdrive/c/Program Files (x86)/Common Files/Oracle/Java/javapath:/cygdrive/c/Windows/system32:/cygdrive/c/Windows:/cygdrive/c/Windows/System32/Wbem:/cygdrive/c/Windows/System32/WindowsPowerShell/v1.0:/cygdrive/c/Windows/System32/OpenSSH:/cygdrive/c/Program Files/nodejs:/cygdrive/c/Users/ilove/AppData/Local/Microsoft/WindowsApps:/cygdrive/c/Users/ilove/AppData/Roaming/npm)
Using  to configure lifelib...
Valid symmetry: C1
Traceback (most recent call last):
  File "mkparams.py", line 102, in <module>
    main()
  File "mkparams.py", line 46, in main
    set_rules(rulestring)
  File "/home/ilove/apgmera/lifelib/autocompile.py", line 424, in set_rules
    reset_tree(list(rules), throw_error=True)
  File "/home/ilove/apgmera/lifelib/autocompile.py", line 411, in reset_tree
    generate_code(rule, clean_before=True)
  File "/home/ilove/apgmera/lifelib/autocompile.py", line 447, in generate_code
    genera.create_rule(r)
  File "/home/ilove/apgmera/lifelib/genera/__init__.py", line 34, in create_rule
    rule_property(rulestring, 'create_rule')
  File "/home/ilove/apgmera/lifelib/genera/__init__.py", line 29, in rule_property
    attr = attr(rulestring)
  File "/home/ilove/apgmera/lifelib/genera/isotropic_other.py", line 23, in create_rule
    raise Exception(out[1].decode("utf-8"))
Exception: /bin/sh: /home/ilove/apgmera/lifelib/genera/bin/CAViewer: cannot execute binary file: Exec format error

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 7:27 am
by yujh
Umm... let me see:

Code: Select all

~$ git clone https://gitlab.com/apgoucher/apgmera.git
Cloning into 'apgmera'...
remote: Enumerating objects: 2024, done.
remote: Counting objects: 100% (204/204), done.
remote: Compressing objects: 100% (99/99), done.
remote: Total 2024 (delta 128), reused 177 (delta 105), pack-reused 1820
Receiving objects: 100% (2024/2024), 733.13 KiB | 1.40 MiB/s, done.
Resolving deltas: 100% (1391/1391), done.
~$ cd apgmera
~/apgmera$ ./recompile.sh
./recompile.sh: line 9: make: command not found

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 7:34 am
by creeperman7002
yujh wrote:
June 22nd, 2021, 7:27 am
Umm... let me see:

Code: Select all

Error message
Since 'make' was not found as a command, that means either ./configure failed to create makefile or the make package was missing. Try (re)installing it and see if it helps.

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 7:37 am
by yujh
creeperman7002 wrote:
June 22nd, 2021, 7:34 am
yujh wrote:
June 22nd, 2021, 7:27 am
Umm... let me see:

Code: Select all

Error message
Since 'make' was not found as a command, that means either ./configure failed to create makefile or the make package was missing. Try (re)installing it and see if it helps.
It told me this:

Code: Select all

~$ git clone https://gitlab.com/apgoucher/apgmera.git
fatal: destination path 'apgmera' already exists and is not an empty directory.

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 8:00 am
by creeperman7002
yujh wrote:
June 22nd, 2021, 7:37 am
creeperman7002 wrote:
June 22nd, 2021, 7:34 am
yujh wrote:
June 22nd, 2021, 7:27 am
Umm... let me see:

Code: Select all

Error message
Since 'make' was not found as a command, that means either ./configure failed to create makefile or the make package was missing. Try (re)installing it and see if it helps.
It told me this:

Code: Select all

~$ git clone https://gitlab.com/apgoucher/apgmera.git
fatal: destination path 'apgmera' already exists and is not an empty directory.
By reinstall I meant reinstall the make package.

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 8:07 am
by yujh
creeperman7002 wrote:
June 22nd, 2021, 8:00 am
yujh wrote:
June 22nd, 2021, 7:37 am
creeperman7002 wrote:
June 22nd, 2021, 7:34 am

Since 'make' was not found as a command, that means either ./configure failed to create makefile or the make package was missing. Try (re)installing it and see if it helps.
It told me this:

Code: Select all

~$ git clone https://gitlab.com/apgoucher/apgmera.git
fatal: destination path 'apgmera' already exists and is not an empty directory.
By reinstall I meant reinstall the make package.
uh.. where can I actually find that?

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 11:23 am
by lemon41625
yujh wrote:
June 22nd, 2021, 8:07 am
creeperman7002 wrote:
June 22nd, 2021, 8:00 am
yujh wrote:
June 22nd, 2021, 7:37 am


It told me this:

Code: Select all

~$ git clone https://gitlab.com/apgoucher/apgmera.git
fatal: destination path 'apgmera' already exists and is not an empty directory.
By reinstall I meant reinstall the make package.
uh.. where can I actually find that?

Code: Select all

sudo apt-get install build-essential

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 7:03 pm
by yujh
lemon41625 wrote:
June 22nd, 2021, 11:23 am
yujh wrote:
June 22nd, 2021, 8:07 am
creeperman7002 wrote:
June 22nd, 2021, 8:00 am


By reinstall I meant reinstall the make package.
uh.. where can I actually find that?

Code: Select all

sudo apt-get install build-essential
Great, but still:

Code: Select all

~$ sudo apt-get install build-essential
[sudo] password for yujh:
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following additional packages will be installed:
  binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-9 dpkg-dev fakeroot g++ g++-9 gcc gcc-9 gcc-9-base
  libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan5 libatomic1 libbinutils
  libc-dev-bin libc6-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libdpkg-perl libfakeroot libfile-fcntllock-perl
  libgcc-9-dev libgomp1 libisl22 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-9-dev libtsan0 libubsan1
  linux-libc-dev make manpages-dev
Suggested packages:
  binutils-doc cpp-doc gcc-9-locales debian-keyring g++-multilib g++-9-multilib gcc-9-doc gcc-multilib autoconf
  automake libtool flex bison gdb gcc-doc gcc-9-multilib glibc-doc bzr libstdc++-9-doc make-doc
The following NEW packages will be installed:
  binutils binutils-common binutils-x86-64-linux-gnu build-essential cpp cpp-9 dpkg-dev fakeroot g++ g++-9 gcc gcc-9
  gcc-9-base libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan5 libatomic1 libbinutils
  libc-dev-bin libc6-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libdpkg-perl libfakeroot libfile-fcntllock-perl
  libgcc-9-dev libgomp1 libisl22 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-9-dev libtsan0 libubsan1
  linux-libc-dev make manpages-dev
0 upgraded, 41 newly installed, 0 to remove and 0 not upgraded.
Need to get 40.0 MB of archives.
After this operation, 175 MB of additional disk space will be used.
Do you want to continue? [Y/n] Y
Get:1 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils-common amd64 2.34-6ubuntu1.1 [207 kB]
Get:2 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libbinutils amd64 2.34-6ubuntu1.1 [475 kB]
Get:3 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libctf-nobfd0 amd64 2.34-6ubuntu1.1 [47.1 kB]
Get:4 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libctf0 amd64 2.34-6ubuntu1.1 [46.6 kB]
Get:5 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils-x86-64-linux-gnu amd64 2.34-6ubuntu1.1 [1613 kB]
Get:6 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils amd64 2.34-6ubuntu1.1 [3380 B]
Get:7 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libc-dev-bin amd64 2.31-0ubuntu9.2 [71.8 kB]
Ign:8 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 linux-libc-dev amd64 5.4.0-65.73
Get:9 http://archive.ubuntu.com/ubuntu focal/main amd64 libcrypt-dev amd64 1:4.4.10-10ubuntu4 [104 kB]
Get:10 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libc6-dev amd64 2.31-0ubuntu9.2 [2520 kB]
Err:8 http://security.ubuntu.com/ubuntu focal-updates/main amd64 linux-libc-dev amd64 5.4.0-65.73
  404  Not Found [IP: 91.189.88.142 80]
Get:11 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 gcc-9-base amd64 9.3.0-17ubuntu1~20.04 [19.1 kB]
Get:12 http://archive.ubuntu.com/ubuntu focal/main amd64 libisl22 amd64 0.22.1-1 [592 kB]
Get:13 http://archive.ubuntu.com/ubuntu focal/main amd64 libmpc3 amd64 1.1.0-1 [40.8 kB]
Get:14 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 cpp-9 amd64 9.3.0-17ubuntu1~20.04 [7494 kB]
Get:15 http://archive.ubuntu.com/ubuntu focal/main amd64 cpp amd64 4:9.3.0-1ubuntu2 [27.6 kB]
Get:16 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libcc1-0 amd64 10.2.0-5ubuntu1~20.04 [41.1 kB]
Get:17 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libgomp1 amd64 10.2.0-5ubuntu1~20.04 [102 kB]
Get:18 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libitm1 amd64 10.2.0-5ubuntu1~20.04 [26.4 kB]
Get:19 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libatomic1 amd64 10.2.0-5ubuntu1~20.04 [9300 B]
Get:20 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libasan5 amd64 9.3.0-17ubuntu1~20.04 [394 kB]
Get:21 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 liblsan0 amd64 10.2.0-5ubuntu1~20.04 [144 kB]
Get:22 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libtsan0 amd64 10.2.0-5ubuntu1~20.04 [320 kB]
Get:23 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libubsan1 amd64 10.2.0-5ubuntu1~20.04 [136 kB]
Get:24 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libquadmath0 amd64 10.2.0-5ubuntu1~20.04 [146 kB]
Get:25 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libgcc-9-dev amd64 9.3.0-17ubuntu1~20.04 [2360 kB]
Get:26 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 gcc-9 amd64 9.3.0-17ubuntu1~20.04 [8241 kB]
Get:27 http://archive.ubuntu.com/ubuntu focal/main amd64 gcc amd64 4:9.3.0-1ubuntu2 [5208 B]
Get:28 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libstdc++-9-dev amd64 9.3.0-17ubuntu1~20.04 [1714 kB]
Get:29 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 g++-9 amd64 9.3.0-17ubuntu1~20.04 [8405 kB]
Get:30 http://archive.ubuntu.com/ubuntu focal/main amd64 g++ amd64 4:9.3.0-1ubuntu2 [1604 B]
Get:31 http://archive.ubuntu.com/ubuntu focal/main amd64 make amd64 4.2.1-1.2 [162 kB]
Get:32 http://archive.ubuntu.com/ubuntu focal/main amd64 libdpkg-perl all 1.19.7ubuntu3 [230 kB]
Get:33 http://archive.ubuntu.com/ubuntu focal/main amd64 dpkg-dev all 1.19.7ubuntu3 [679 kB]
Get:34 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 build-essential amd64 12.8ubuntu1.1 [4664 B]
Get:35 http://archive.ubuntu.com/ubuntu focal/main amd64 libfakeroot amd64 1.24-1 [25.7 kB]
Get:36 http://archive.ubuntu.com/ubuntu focal/main amd64 fakeroot amd64 1.24-1 [62.6 kB]
Get:37 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-diff-perl all 1.19.03-2 [46.6 kB]
Get:38 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-diff-xs-perl amd64 0.04-6 [11.3 kB]
Get:39 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-merge-perl all 0.08-3 [12.0 kB]
Get:40 http://archive.ubuntu.com/ubuntu focal/main amd64 libfile-fcntllock-perl amd64 0.22-3build4 [33.1 kB]
Get:41 http://archive.ubuntu.com/ubuntu focal/main amd64 manpages-dev all 5.05-1 [2266 kB]
Fetched 38.8 MB in 2min 40s (242 kB/s)
E: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/l/linux/linux-libc-dev_5.4.0-65.73_amd64.deb  404  Not Found [IP: 91.189.88.142 80]
E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
~$ cd apgmera
~/apgmera$ ./recompile.sh
./recompile.sh: line 9: make: command not found

Re: Thread for your script-related questions

Posted: June 22nd, 2021, 8:18 pm
by lemon41625
yujh wrote:
June 22nd, 2021, 7:03 pm
lemon41625 wrote:
June 22nd, 2021, 11:23 am
yujh wrote:
June 22nd, 2021, 8:07 am


uh.. where can I actually find that?

Code: Select all

sudo apt-get install build-essential
Great, but still:

Code: Select all

~$ sudo apt-get install build-essential
[sudo] password for yujh:
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following additional packages will be installed:
  binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-9 dpkg-dev fakeroot g++ g++-9 gcc gcc-9 gcc-9-base
  libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan5 libatomic1 libbinutils
  libc-dev-bin libc6-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libdpkg-perl libfakeroot libfile-fcntllock-perl
  libgcc-9-dev libgomp1 libisl22 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-9-dev libtsan0 libubsan1
  linux-libc-dev make manpages-dev
Suggested packages:
  binutils-doc cpp-doc gcc-9-locales debian-keyring g++-multilib g++-9-multilib gcc-9-doc gcc-multilib autoconf
  automake libtool flex bison gdb gcc-doc gcc-9-multilib glibc-doc bzr libstdc++-9-doc make-doc
The following NEW packages will be installed:
  binutils binutils-common binutils-x86-64-linux-gnu build-essential cpp cpp-9 dpkg-dev fakeroot g++ g++-9 gcc gcc-9
  gcc-9-base libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan5 libatomic1 libbinutils
  libc-dev-bin libc6-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libdpkg-perl libfakeroot libfile-fcntllock-perl
  libgcc-9-dev libgomp1 libisl22 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-9-dev libtsan0 libubsan1
  linux-libc-dev make manpages-dev
0 upgraded, 41 newly installed, 0 to remove and 0 not upgraded.
Need to get 40.0 MB of archives.
After this operation, 175 MB of additional disk space will be used.
Do you want to continue? [Y/n] Y
Get:1 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils-common amd64 2.34-6ubuntu1.1 [207 kB]
Get:2 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libbinutils amd64 2.34-6ubuntu1.1 [475 kB]
Get:3 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libctf-nobfd0 amd64 2.34-6ubuntu1.1 [47.1 kB]
Get:4 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libctf0 amd64 2.34-6ubuntu1.1 [46.6 kB]
Get:5 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils-x86-64-linux-gnu amd64 2.34-6ubuntu1.1 [1613 kB]
Get:6 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils amd64 2.34-6ubuntu1.1 [3380 B]
Get:7 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libc-dev-bin amd64 2.31-0ubuntu9.2 [71.8 kB]
Ign:8 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 linux-libc-dev amd64 5.4.0-65.73
Get:9 http://archive.ubuntu.com/ubuntu focal/main amd64 libcrypt-dev amd64 1:4.4.10-10ubuntu4 [104 kB]
Get:10 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libc6-dev amd64 2.31-0ubuntu9.2 [2520 kB]
Err:8 http://security.ubuntu.com/ubuntu focal-updates/main amd64 linux-libc-dev amd64 5.4.0-65.73
  404  Not Found [IP: 91.189.88.142 80]
Get:11 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 gcc-9-base amd64 9.3.0-17ubuntu1~20.04 [19.1 kB]
Get:12 http://archive.ubuntu.com/ubuntu focal/main amd64 libisl22 amd64 0.22.1-1 [592 kB]
Get:13 http://archive.ubuntu.com/ubuntu focal/main amd64 libmpc3 amd64 1.1.0-1 [40.8 kB]
Get:14 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 cpp-9 amd64 9.3.0-17ubuntu1~20.04 [7494 kB]
Get:15 http://archive.ubuntu.com/ubuntu focal/main amd64 cpp amd64 4:9.3.0-1ubuntu2 [27.6 kB]
Get:16 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libcc1-0 amd64 10.2.0-5ubuntu1~20.04 [41.1 kB]
Get:17 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libgomp1 amd64 10.2.0-5ubuntu1~20.04 [102 kB]
Get:18 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libitm1 amd64 10.2.0-5ubuntu1~20.04 [26.4 kB]
Get:19 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libatomic1 amd64 10.2.0-5ubuntu1~20.04 [9300 B]
Get:20 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libasan5 amd64 9.3.0-17ubuntu1~20.04 [394 kB]
Get:21 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 liblsan0 amd64 10.2.0-5ubuntu1~20.04 [144 kB]
Get:22 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libtsan0 amd64 10.2.0-5ubuntu1~20.04 [320 kB]
Get:23 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libubsan1 amd64 10.2.0-5ubuntu1~20.04 [136 kB]
Get:24 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libquadmath0 amd64 10.2.0-5ubuntu1~20.04 [146 kB]
Get:25 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libgcc-9-dev amd64 9.3.0-17ubuntu1~20.04 [2360 kB]
Get:26 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 gcc-9 amd64 9.3.0-17ubuntu1~20.04 [8241 kB]
Get:27 http://archive.ubuntu.com/ubuntu focal/main amd64 gcc amd64 4:9.3.0-1ubuntu2 [5208 B]
Get:28 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libstdc++-9-dev amd64 9.3.0-17ubuntu1~20.04 [1714 kB]
Get:29 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 g++-9 amd64 9.3.0-17ubuntu1~20.04 [8405 kB]
Get:30 http://archive.ubuntu.com/ubuntu focal/main amd64 g++ amd64 4:9.3.0-1ubuntu2 [1604 B]
Get:31 http://archive.ubuntu.com/ubuntu focal/main amd64 make amd64 4.2.1-1.2 [162 kB]
Get:32 http://archive.ubuntu.com/ubuntu focal/main amd64 libdpkg-perl all 1.19.7ubuntu3 [230 kB]
Get:33 http://archive.ubuntu.com/ubuntu focal/main amd64 dpkg-dev all 1.19.7ubuntu3 [679 kB]
Get:34 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 build-essential amd64 12.8ubuntu1.1 [4664 B]
Get:35 http://archive.ubuntu.com/ubuntu focal/main amd64 libfakeroot amd64 1.24-1 [25.7 kB]
Get:36 http://archive.ubuntu.com/ubuntu focal/main amd64 fakeroot amd64 1.24-1 [62.6 kB]
Get:37 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-diff-perl all 1.19.03-2 [46.6 kB]
Get:38 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-diff-xs-perl amd64 0.04-6 [11.3 kB]
Get:39 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-merge-perl all 0.08-3 [12.0 kB]
Get:40 http://archive.ubuntu.com/ubuntu focal/main amd64 libfile-fcntllock-perl amd64 0.22-3build4 [33.1 kB]
Get:41 http://archive.ubuntu.com/ubuntu focal/main amd64 manpages-dev all 5.05-1 [2266 kB]
Fetched 38.8 MB in 2min 40s (242 kB/s)
E: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/l/linux/linux-libc-dev_5.4.0-65.73_amd64.deb  404  Not Found [IP: 91.189.88.142 80]
E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
~$ cd apgmera
~/apgmera$ ./recompile.sh
./recompile.sh: line 9: make: command not found
Run

Code: Select all

sudo apt-get update
sudo apt-get install build-essential
if that doesn't work, try

Code: Select all

sudo apt-get install build-essential --fix-missing

Re: Thread for your script-related questions

Posted: June 23rd, 2021, 4:17 am
by yujh
lemon41625 wrote:
June 22nd, 2021, 8:18 pm
yujh wrote:
June 22nd, 2021, 7:03 pm
lemon41625 wrote:
June 22nd, 2021, 11:23 am

Code: Select all

sudo apt-get install build-essential
Great, but still:

Code: Select all

~$ sudo apt-get install build-essential
[sudo] password for yujh:
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following additional packages will be installed:
  binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-9 dpkg-dev fakeroot g++ g++-9 gcc gcc-9 gcc-9-base
  libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan5 libatomic1 libbinutils
  libc-dev-bin libc6-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libdpkg-perl libfakeroot libfile-fcntllock-perl
  libgcc-9-dev libgomp1 libisl22 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-9-dev libtsan0 libubsan1
  linux-libc-dev make manpages-dev
Suggested packages:
  binutils-doc cpp-doc gcc-9-locales debian-keyring g++-multilib g++-9-multilib gcc-9-doc gcc-multilib autoconf
  automake libtool flex bison gdb gcc-doc gcc-9-multilib glibc-doc bzr libstdc++-9-doc make-doc
The following NEW packages will be installed:
  binutils binutils-common binutils-x86-64-linux-gnu build-essential cpp cpp-9 dpkg-dev fakeroot g++ g++-9 gcc gcc-9
  gcc-9-base libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan5 libatomic1 libbinutils
  libc-dev-bin libc6-dev libcc1-0 libcrypt-dev libctf-nobfd0 libctf0 libdpkg-perl libfakeroot libfile-fcntllock-perl
  libgcc-9-dev libgomp1 libisl22 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-9-dev libtsan0 libubsan1
  linux-libc-dev make manpages-dev
0 upgraded, 41 newly installed, 0 to remove and 0 not upgraded.
Need to get 40.0 MB of archives.
After this operation, 175 MB of additional disk space will be used.
Do you want to continue? [Y/n] Y
Get:1 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils-common amd64 2.34-6ubuntu1.1 [207 kB]
Get:2 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libbinutils amd64 2.34-6ubuntu1.1 [475 kB]
Get:3 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libctf-nobfd0 amd64 2.34-6ubuntu1.1 [47.1 kB]
Get:4 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libctf0 amd64 2.34-6ubuntu1.1 [46.6 kB]
Get:5 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils-x86-64-linux-gnu amd64 2.34-6ubuntu1.1 [1613 kB]
Get:6 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 binutils amd64 2.34-6ubuntu1.1 [3380 B]
Get:7 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libc-dev-bin amd64 2.31-0ubuntu9.2 [71.8 kB]
Ign:8 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 linux-libc-dev amd64 5.4.0-65.73
Get:9 http://archive.ubuntu.com/ubuntu focal/main amd64 libcrypt-dev amd64 1:4.4.10-10ubuntu4 [104 kB]
Get:10 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libc6-dev amd64 2.31-0ubuntu9.2 [2520 kB]
Err:8 http://security.ubuntu.com/ubuntu focal-updates/main amd64 linux-libc-dev amd64 5.4.0-65.73
  404  Not Found [IP: 91.189.88.142 80]
Get:11 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 gcc-9-base amd64 9.3.0-17ubuntu1~20.04 [19.1 kB]
Get:12 http://archive.ubuntu.com/ubuntu focal/main amd64 libisl22 amd64 0.22.1-1 [592 kB]
Get:13 http://archive.ubuntu.com/ubuntu focal/main amd64 libmpc3 amd64 1.1.0-1 [40.8 kB]
Get:14 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 cpp-9 amd64 9.3.0-17ubuntu1~20.04 [7494 kB]
Get:15 http://archive.ubuntu.com/ubuntu focal/main amd64 cpp amd64 4:9.3.0-1ubuntu2 [27.6 kB]
Get:16 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libcc1-0 amd64 10.2.0-5ubuntu1~20.04 [41.1 kB]
Get:17 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libgomp1 amd64 10.2.0-5ubuntu1~20.04 [102 kB]
Get:18 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libitm1 amd64 10.2.0-5ubuntu1~20.04 [26.4 kB]
Get:19 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libatomic1 amd64 10.2.0-5ubuntu1~20.04 [9300 B]
Get:20 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libasan5 amd64 9.3.0-17ubuntu1~20.04 [394 kB]
Get:21 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 liblsan0 amd64 10.2.0-5ubuntu1~20.04 [144 kB]
Get:22 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libtsan0 amd64 10.2.0-5ubuntu1~20.04 [320 kB]
Get:23 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libubsan1 amd64 10.2.0-5ubuntu1~20.04 [136 kB]
Get:24 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libquadmath0 amd64 10.2.0-5ubuntu1~20.04 [146 kB]
Get:25 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libgcc-9-dev amd64 9.3.0-17ubuntu1~20.04 [2360 kB]
Get:26 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 gcc-9 amd64 9.3.0-17ubuntu1~20.04 [8241 kB]
Get:27 http://archive.ubuntu.com/ubuntu focal/main amd64 gcc amd64 4:9.3.0-1ubuntu2 [5208 B]
Get:28 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 libstdc++-9-dev amd64 9.3.0-17ubuntu1~20.04 [1714 kB]
Get:29 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 g++-9 amd64 9.3.0-17ubuntu1~20.04 [8405 kB]
Get:30 http://archive.ubuntu.com/ubuntu focal/main amd64 g++ amd64 4:9.3.0-1ubuntu2 [1604 B]
Get:31 http://archive.ubuntu.com/ubuntu focal/main amd64 make amd64 4.2.1-1.2 [162 kB]
Get:32 http://archive.ubuntu.com/ubuntu focal/main amd64 libdpkg-perl all 1.19.7ubuntu3 [230 kB]
Get:33 http://archive.ubuntu.com/ubuntu focal/main amd64 dpkg-dev all 1.19.7ubuntu3 [679 kB]
Get:34 http://archive.ubuntu.com/ubuntu focal-updates/main amd64 build-essential amd64 12.8ubuntu1.1 [4664 B]
Get:35 http://archive.ubuntu.com/ubuntu focal/main amd64 libfakeroot amd64 1.24-1 [25.7 kB]
Get:36 http://archive.ubuntu.com/ubuntu focal/main amd64 fakeroot amd64 1.24-1 [62.6 kB]
Get:37 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-diff-perl all 1.19.03-2 [46.6 kB]
Get:38 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-diff-xs-perl amd64 0.04-6 [11.3 kB]
Get:39 http://archive.ubuntu.com/ubuntu focal/main amd64 libalgorithm-merge-perl all 0.08-3 [12.0 kB]
Get:40 http://archive.ubuntu.com/ubuntu focal/main amd64 libfile-fcntllock-perl amd64 0.22-3build4 [33.1 kB]
Get:41 http://archive.ubuntu.com/ubuntu focal/main amd64 manpages-dev all 5.05-1 [2266 kB]
Fetched 38.8 MB in 2min 40s (242 kB/s)
E: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/l/linux/linux-libc-dev_5.4.0-65.73_amd64.deb  404  Not Found [IP: 91.189.88.142 80]
E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
~$ cd apgmera
~/apgmera$ ./recompile.sh
./recompile.sh: line 9: make: command not found
Run

Code: Select all

sudo apt-get update
sudo apt-get install build-essential
if that doesn't work, try

Code: Select all

sudo apt-get install build-essential --fix-missing
thank you!

Re: Thread for your script-related questions

Posted: June 24th, 2021, 7:37 am
by yujh
Not related, where can I find apgsearch?(win 10, ubuntu 20.04 LTS

Re: Thread for your script-related questions

Posted: June 28th, 2021, 4:47 am
by yujh

Code: Select all

x = 67, y = 49, rule = B38/S23History
66.B$65.2B$64.3B$39.2B22.4B$39.BA2B8.A10.4B$38.BABA2B5.3A9.4B$37.2BAB
A2B4.A11.4B$37.3BA3B2.B.2A9.4B$36.7B2.5B8.4B$37.11B9.4B$38.11B7.4B$
38.11B6.4B$39.11B4.4B$39.11B.B.4B$38.18B$30.2B5.18B$14.A14.6B2.17B$7.
2A5.3A11.26B$7.A.A7.A9.29B$9.A6.2A8.32B$9.2A5.3B.2B3.34B$10.B5.17BD
25B$10.3B2.17B2D25B$9.24B2D23B$8.51B$8.50B$6.2BC3B2A15BD27B$6.2B2C2B
2A15BDBD22B$7.2B2C18B3D22B$8.BC21BD17B.3B$8.C39B2.5B$10.13B.4B3.15B7.
2A$10.10B3.4B4.6B2.6B8.A$15.4B3.4B5.6B2.7B8.3A$14.4B3.4B7.5B2.6B11.A$
13.4B3.4B7.7B.5B$12.4B3.4B6.2AB.4B.6B$11.4B3.4B6.A.AB2.2B2.4B$10.4B3.
4B7.A9.2B2AB$9.4B3.4B7.2A11.2A$8.4B3.4B$7.4B3.4B$6.4B3.4B$5.4B3.4B$4.
4B3.4B$3.4B3.4B$2.4B3.4B$.4B3.4B$4B3.4B!
This doesn't seem to work:https://www.conwaylife.com/forums/viewt ... 682#p18907

Re: Thread for your script-related questions

Posted: July 15th, 2021, 11:23 pm
by yujh
Sorry for stupid questions, how do i download this discribed here:

Code: Select all

Installing Lingeling

Download Lingeling from its website. You'll want the latest version; as of June 2018, that's lingeling-bcj-78ebb86-180517.tar.gz.

Next, extract the file you downloaded (version may differ):

$ tar xvfz lingeling-bbc-9230380-160707.tar.gz
(using cnmmands, I think I can't directly download this to my ubuntu desktop

Re: Thread for your script-related questions

Posted: July 16th, 2021, 11:20 am
by pcallahan
yujh wrote:
July 15th, 2021, 11:23 pm
Sorry for stupid questions, how do i download this discribed here:

Code: Select all

Installing Lingeling

Download Lingeling from its website. You'll want the latest version; as of June 2018, that's lingeling-bcj-78ebb86-180517.tar.gz.

Next, extract the file you downloaded (version may differ):

$ tar xvfz lingeling-bbc-9230380-160707.tar.gz
(using cnmmands, I think I can't directly download this to my ubuntu desktop
Can you do this?

Code: Select all

wget http://fmv.jku.at/lingeling/lingeling-bcj-78ebb86-180517.tar.gz
I don't understand why you can't go through a browser. There are some other SAT solvers that are also good (and probably faster) such as kissat and cadical.

Re: Thread for your script-related questions

Posted: July 17th, 2021, 12:13 am
by yujh
Cool! What's my problem here:

Code: Select all

yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ ./configure.sh
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA
yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ make
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglib.c
lglib.c: In function ‘lglstampall’:
lglib.c:19233:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
  if (rootsonly) noimpls++; goto CONTINUE;
  ^~
lglib.c:19233:28: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
  if (rootsonly) noimpls++; goto CONTINUE;
                            ^~~~
rm -f lglcflags.h
echo '#define LGL_CC "gcc (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0"' >> lglcflags.h
echo '#define LGL_CFLAGS "-Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA"' >> lglcflags.h
rm -f lglcfg.h
./mkconfig.sh > lglcfg.h
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglbnr.c
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lgldimacs.c
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglopts.c
ar rc liblgl.a lglib.o lglbnr.o lgldimacs.o lglopts.o
ranlib liblgl.a
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglmain.c
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lingeling lglmain.o -L. -llgl -lm
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c plingeling.c
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -pthread -o plingeling plingeling.o -L. -llgl -lm
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c ilingeling.c
ilingeling.c: In function ‘progress’:
ilingeling.c:212:23: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 6 [-Wformat-overflow=]
   sprintf (fmt, "c %%0%dd", i);
                       ^~
ilingeling.c:212:17: note: directive argument in the range [1, 2147483646]
   sprintf (fmt, "c %%0%dd", i);
                 ^~~~~~~~~~
In file included from /usr/include/stdio.h:862:0,
                 from lglib.h:8,
                 from ilingeling.c:5:
/usr/include/x86_64-linux-gnu/bits/stdio2.h:33:10: note: ‘__builtin___sprintf_chk’ output between 7 and 16 bytes into a destination of size 10
   return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       __bos (__s), __fmt, __va_arg_pack ());
       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -pthread -o ilingeling ilingeling.o -L. -llgl -lm
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c treengeling.c
treengeling.c: In function ‘mysrand’:
treengeling.c:1381:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
   if (!z) z = ~z; if (!w) w = ~w;
   ^~
treengeling.c:1381:19: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘i
’
   if (!z) z = ~z; if (!w) w = ~w;
                   ^~
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -pthread -o treengeling treengeling.o -L. -llgl -lm
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglmbt.c
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lglmbt lglmbt.o -L. -llgl -lm
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lgluntrace.c
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lgluntrace lgluntrace.o -L. -llgl -lm
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglddtrace.c
gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lglddtrace lglddtrace.o -L. -llgl -lm
yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ cp lingeling ../logic-life-search/solvers
yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ cp lingeling.exe ../logic-life-search/solvers
cp: cannot stat 'lingeling.exe': No such file or directory
yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ ./lls
-bash: ./lls: No such file or directory
yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ cd
yujh@DESKTOP-MS6DAF6:~$ cd logic-life-search
yujh@DESKTOP-MS6DAF6:~/logic-life-search$ ./lls
-bash: ./lls: /usr/bin/python2: bad interpreter: No such file or directory
yujh@DESKTOP-MS6DAF6:~/logic-life-search$ ./lls -S lingeling -m -b 16 6 -p 3 -x 0 -y 1
-bash: ./lls: /usr/bin/python2: bad interpreter: No such file or directory
yujh@DESKTOP-MS6DAF6:~/logic-life-search$

Re: Thread for your script-related questions

Posted: July 17th, 2021, 11:19 am
by pcallahan
yujh wrote:
July 17th, 2021, 12:13 am
Cool! What's my problem here: ...
I've never tried to build it in Windows. In fact, my only direct experience with lingeling is on MacOS. Are you using cygwin? It looks like it can't find lingeling.exe, but it has built the executable as lingeling. There are some warnings, which may or may not be important.

Most errors are not about lingeling. It looks like you're trying to use lls (logic life search) but it's not in the current directory. Do you have that installed?

Code: Select all

yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ ./lls
-bash: ./lls: No such file or directory
yujh@DESKTOP-MS6DAF6:~/lingeling-bcj-78ebb86-180517$ cd
yujh@DESKTOP-MS6DAF6:~$ cd logic-life-search
yujh@DESKTOP-MS6DAF6:~/logic-life-search$ ./lls
-bash: ./lls: /usr/bin/python2: bad interpreter: No such file or directory
yujh@DESKTOP-MS6DAF6:~/logic-life-search$ ./lls -S lingeling -m -b 16 6 -p 3 -x 0 -y 1
-bash: ./lls: /usr/bin/python2: bad interpreter: No such file or directory
yujh@DESKTOP-MS6DAF6:~/logic-life-search$
There are a bunch of lls and SAT solver users here, so maybe someone else has a better idea.

Re: Thread for your script-related questions

Posted: July 17th, 2021, 7:21 pm
by yujh
pcallahan wrote:
July 17th, 2021, 11:19 am
yujh wrote:
July 17th, 2021, 12:13 am
Cool! What's my problem here: ...
I've never tried to build it in Windows. In fact, my only direct experience with lingeling is on MacOS. Are you using cygwin? It looks like it can't find lingeling.exe, but it has built the executable as lingeling. There are some warnings, which may or may not be important.

Most errors are not about lingeling. It looks like you're trying to use lls (logic life search) but it's not in the current directory. Do you have that installed?

Code: Select all

Snip
I do have lols installed; I’m not using Cygwin, I’m using ubuntu 18
I'd say it's probably this:

Code: Select all

 You still need to copy this executable into LLS's solver directory, however: 
or

Code: Select all

Enter LLS's directory if necessary, and run the following: 
Anyways, I have this problem

Code: Select all

-bash: ./lls: /usr/bin/python2: bad interpreter: No such file or directory
I'll guess it means this?

Code: Select all

C:\Users\Home\AppData\Local\Packages\CanonicalGroupLimited.Ubuntu18.04onWindows_79rhkp1fndgsc\LocalState\rootfs\bin

Re: Thread for your script-related questions

Posted: July 30th, 2021, 2:44 pm
by Cyclotrons
Since engine-based spaceships can be found/made by hand, I think it's reasonable to assume that a spaceship search program specifically for engine-based spaceships is feasible. How would such a search program work?

Generations Rules

Posted: August 24th, 2021, 10:23 am
by Francisco
Does anyone know any conduit/reflector search algorithms like Bellman that can search in Generations rules or can be easily modified to search in Generations rules? I can't figure out how to adjust the configs of Bellman, so if Bellman can do this and I just haven't figured out how yet, please let me know.

Thank you.

Re: Thread for your script-related questions

Posted: September 14th, 2021, 11:51 am
by C28
is there a script that is basically apgsearch but it records transparent debris reactions & climbing reactions along with the other things it records, and instead of soups it goes through every distinct interaction between a given methuselah and a still life/oscillator/spaceship?