Thread for your script-related questions

For scripts to aid with computation or simulation in cellular automata.
User avatar
cgoler2
Posts: 224
Joined: March 10th, 2021, 2:32 pm
Location: Living in a half-bakery

Re: Thread for your script-related questions

Post by cgoler2 » June 5th, 2021, 2:24 pm

Code: Select all

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

Sokwe
Moderator
Posts: 1961
Joined: July 9th, 2009, 2:44 pm

Re: Thread for your script-related questions

Post by Sokwe » June 5th, 2021, 10:10 pm

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.
-Matthias Merzenich

lemon41625
Posts: 331
Joined: January 24th, 2020, 7:39 am
Location: 小红点 (if you know where that is)

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

Post by lemon41625 » June 7th, 2021, 4:33 am

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.
Download CAViewer: https://github.com/jedlimlx/Cellular-Automaton-Viewer

Supports:
BSFKL, Extended Generations, Regenerating Generations, Naive Rules, R1 Moore, R2 Cross and R2 Von Neumann INT
And some others...

wwei47
Posts: 928
Joined: February 18th, 2021, 11:18 am

Re: Thread for your script-related questions

Post by wwei47 » June 11th, 2021, 1:55 pm

How can I optimize dr for catalyst searches?

googoIpIex
Posts: 271
Joined: February 28th, 2019, 4:49 pm
Location: Sqrt(-1)

Re: Thread for your script-related questions

Post by googoIpIex » June 12th, 2021, 9:39 pm

What are good parameters for ikpx2?
woomy on a vroomy

wwei47
Posts: 928
Joined: February 18th, 2021, 11:18 am

Re: Thread for your script-related questions

Post by wwei47 » June 20th, 2021, 3:01 pm

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

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » June 22nd, 2021, 7:27 am

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

User avatar
creeperman7002
Posts: 271
Joined: December 4th, 2018, 11:52 pm

Re: Thread for your script-related questions

Post by creeperman7002 » 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.
B2n3-jn/S1c23-y is an interesting rule. It has a replicator, a fake glider, an OMOS and SMOS, a wide variety of oscillators, and some signals. Also this rule is omniperiodic.
viewtopic.php?f=11&t=4856

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » 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.

User avatar
creeperman7002
Posts: 271
Joined: December 4th, 2018, 11:52 pm

Re: Thread for your script-related questions

Post by creeperman7002 » June 22nd, 2021, 8:00 am

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.
B2n3-jn/S1c23-y is an interesting rule. It has a replicator, a fake glider, an OMOS and SMOS, a wide variety of oscillators, and some signals. Also this rule is omniperiodic.
viewtopic.php?f=11&t=4856

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » June 22nd, 2021, 8:07 am

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?

lemon41625
Posts: 331
Joined: January 24th, 2020, 7:39 am
Location: 小红点 (if you know where that is)

Re: Thread for your script-related questions

Post by lemon41625 » June 22nd, 2021, 11:23 am

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
Download CAViewer: https://github.com/jedlimlx/Cellular-Automaton-Viewer

Supports:
BSFKL, Extended Generations, Regenerating Generations, Naive Rules, R1 Moore, R2 Cross and R2 Von Neumann INT
And some others...

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » June 22nd, 2021, 7:03 pm

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

lemon41625
Posts: 331
Joined: January 24th, 2020, 7:39 am
Location: 小红点 (if you know where that is)

Re: Thread for your script-related questions

Post by lemon41625 » June 22nd, 2021, 8:18 pm

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
Download CAViewer: https://github.com/jedlimlx/Cellular-Automaton-Viewer

Supports:
BSFKL, Extended Generations, Regenerating Generations, Naive Rules, R1 Moore, R2 Cross and R2 Von Neumann INT
And some others...

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » June 23rd, 2021, 4:17 am

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!

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » June 24th, 2021, 7:37 am

Not related, where can I find apgsearch?(win 10, ubuntu 20.04 LTS

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » June 28th, 2021, 4:47 am

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

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » 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

pcallahan
Posts: 632
Joined: April 26th, 2013, 1:04 pm

Re: Thread for your script-related questions

Post by pcallahan » July 16th, 2021, 11:20 am

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.

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » July 17th, 2021, 12:13 am

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$

pcallahan
Posts: 632
Joined: April 26th, 2013, 1:04 pm

Re: Thread for your script-related questions

Post by pcallahan » 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

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.

User avatar
yujh
Posts: 2385
Joined: February 27th, 2020, 11:23 pm
Location: Toronto, On, Canada
Contact:

Re: Thread for your script-related questions

Post by yujh » July 17th, 2021, 7:21 pm

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

Post Reply