ikpx 2.2

For scripts to aid with computation or simulation in cellular automata.
User avatar
silversmith
Posts: 369
Joined: June 15th, 2020, 6:20 pm
Location: Pennsylvania, USA, Earth, Sector 5ff63D6
Contact:

Re: ikpx 2.2

Post by silversmith » September 27th, 2024, 4:47 pm

CARuler wrote:
September 27th, 2024, 3:23 pm
I can't seem to get it working
What did you try? What errors did you get?
A simulator with the tools I couldn’t find elsewhere: https://silversimulations.com/caplayer/
Documentation:https://github.com/teraxtech/caplayer

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » September 27th, 2024, 5:09 pm

I just couldn't find the download
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

User avatar
silversmith
Posts: 369
Joined: June 15th, 2020, 6:20 pm
Location: Pennsylvania, USA, Earth, Sector 5ff63D6
Contact:

Re: ikpx 2.2

Post by silversmith » September 27th, 2024, 6:43 pm

Well have you ever used git?

If you have git then run

Code: Select all

git clone https://gitlab.com/apgoucher/ikpx2.git
in whatever folder you want ikpx2 to be in.

If you don't have git, then try to install it. On Linux it's easy to install git and ikpx2, otherwise the process could get complex.

If you need help, tell us what operating system you have.
A simulator with the tools I couldn’t find elsewhere: https://silversimulations.com/caplayer/
Documentation:https://github.com/teraxtech/caplayer

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » September 29th, 2024, 8:15 pm

silversmith wrote:
September 27th, 2024, 6:43 pm
Well have you ever used git?

If you have git then run

Code: Select all

git clone https://gitlab.com/apgoucher/ikpx2.git
in whatever folder you want ikpx2 to be in.

If you don't have git, then try to install it. On Linux it's easy to install git and ikpx2, otherwise the process could get complex.

If you need help, tell us what operating system you have.
alright, done all steps.
now how do I open it?
um... can't seem to find it
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

User avatar
silversmith
Posts: 369
Joined: June 15th, 2020, 6:20 pm
Location: Pennsylvania, USA, Earth, Sector 5ff63D6
Contact:

Re: ikpx 2.2

Post by silversmith » September 30th, 2024, 12:21 am

CARuler wrote:
September 29th, 2024, 8:15 pm
um... can't seem to find it
Navigate to the ikpx2 folder. It should be made in the location where you ran "git clone". In it there should be a recompile.sh file, a README.md, and several other folders. Run:

Code: Select all

./recompile.sh
This will create the ikpx2 executable, which can be run like this:

Code: Select all

./ikpx2 --velocity c/3
The "--velocity c/3" can be replaced with other options you can use to customize the search. The README.md lists most of the options you can use, and some examples.
CARuler wrote:
September 29th, 2024, 8:15 pm
now how do I open it?
In summary, ikpx2 isn't a program you install like other applications. Rather you run the executables from within the ikpx2 folder.
A simulator with the tools I couldn’t find elsewhere: https://silversimulations.com/caplayer/
Documentation:https://github.com/teraxtech/caplayer

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » September 30th, 2024, 5:20 pm

Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

User avatar
LaundryPizza03
Posts: 2436
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: ikpx 2.2

Post by LaundryPizza03 » September 30th, 2024, 5:30 pm

CARuler wrote:
September 30th, 2024, 5:20 pm
Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work

Code: Select all

./recompile.sh --rule <RULE>

Code: Select all

./ikpx2 -v <speed>
Type in ./ikpx2 -h for more information.

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » September 30th, 2024, 5:37 pm

LaundryPizza03 wrote:
September 30th, 2024, 5:30 pm
CARuler wrote:
September 30th, 2024, 5:20 pm
Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work

Code: Select all

./recompile.sh --rule <RULE>

Code: Select all

./ikpx2 -v <speed>
Type in ./ikpx2 -h for more information.
I meant how do get it to execute commands in git
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

User avatar
silversmith
Posts: 369
Joined: June 15th, 2020, 6:20 pm
Location: Pennsylvania, USA, Earth, Sector 5ff63D6
Contact:

Re: ikpx 2.2

Post by silversmith » October 1st, 2024, 5:27 pm

CARuler wrote:
September 30th, 2024, 5:37 pm
I meant how do get it to execute commands in git
One executes commands in a command line. Git is one program you can use in a command line, like with:

Code: Select all

git clone https://gitlab.com/apgoucher/ikpx2.git
ikpx2 is another program you can use in a command line like with

Code: Select all

./ikpx2 --velocity c/3
What application are you typing in? What happened when you ran the recompile.sh program?

Code: Select all

./recompile.sh
A simulator with the tools I couldn’t find elsewhere: https://silversimulations.com/caplayer/
Documentation:https://github.com/teraxtech/caplayer

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » October 1st, 2024, 6:53 pm

silversmith wrote:
October 1st, 2024, 5:27 pm

What application are you typing in? What happened when you ran the recompile.sh program?

Code: Select all

./recompile.sh
A window in git opened and closed nothing else happened
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

User avatar
confocaloid
Posts: 4918
Joined: February 8th, 2022, 3:15 pm
Location: https://catagolue.hatsya.com/census/b3s234c/C4_4/xp62

Re: ikpx 2.2

Post by confocaloid » October 1st, 2024, 7:10 pm

CARuler wrote:
October 1st, 2024, 6:53 pm
[...] A window in git opened and closed nothing else happened
Looks like essentially the same point was already answered, in a recent discussion about another CLI software tool:
confocaloid wrote:
September 16th, 2024, 9:31 pm
CARuler wrote:
September 16th, 2024, 9:13 pm
it doesn't open upon me pressing the open button I can see it flash before it closes
qfind needs to be invoked from the command line, with appropriate parameters that depend on what kind of spaceships you want to find.
Similarly to many other search programs in existence, qfind is a CLI software tool ("command line interface").
127:1 B3/S234c User:Confocal/R (isotropic CA, incomplete)
Unlikely events happen.
My silence does not imply agreement, nor indifference. If I disagreed with something in the past, then please do not construe my silence as something that could change that.

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » October 1st, 2024, 8:08 pm

confocaloid wrote:
October 1st, 2024, 7:10 pm


Looks like essentially the same point was already answered, in a recent discussion about another CLI software tool:
confocaloid wrote:
September 16th, 2024, 9:31 pm
CARuler wrote:
September 16th, 2024, 9:13 pm
it doesn't open upon me pressing the open button I can see it flash before it closes
qfind needs to be invoked from the command line, with appropriate parameters that depend on what kind of spaceships you want to find.
Similarly to many other search programs in existence, qfind is a CLI software tool ("command line interface").
That was in the command terminal, not git
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

User avatar
silversmith
Posts: 369
Joined: June 15th, 2020, 6:20 pm
Location: Pennsylvania, USA, Earth, Sector 5ff63D6
Contact:

Re: ikpx 2.2

Post by silversmith » October 3rd, 2024, 10:48 am

CARuler wrote:
September 27th, 2024, 3:23 pm
I can't seem to get it working
CARuler wrote:
September 29th, 2024, 8:15 pm
alright, done all steps.
now how do I open it?
um... can't seem to find it
CARuler wrote:
September 30th, 2024, 5:20 pm
Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work
CARuler wrote:
October 1st, 2024, 8:08 pm
That was in the command terminal, not git
In general, to get help on the internet, you need to be willing to share a lot of information. The basics include:
  • What did you do?
  • What were there results?
  • What environment you are working in?
Without this kind of information, nobody will be able to help you with what you are dealing with. I don't even know if you are working on Windows, Linux, MacOS, or something else.

What operating system are you using? If you don't understand the question, what kind of computer are you using?
What is the exact name of the application you are working in?
What folder are you running commands in? If it's "ikpx2", type the command "ls" and check if a file named "ikpx2" is listed.
What errors are you getting? Ideally copy and paste whatever happens after you run a command. For example, if I try to run ikpx2 in the wrong folder, it looks like this.

Code: Select all

[user@computername ~]$ ./ikpx2
bash: ./ikpx2: No such file or directory
[user@computername ~]$
If I run the "ls" command in my ikpx2 folder, it looks like this:

Code: Select all

[user@computername ikpx2]$ ls
apgmera                                                                                         backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_21_even.bin   cqueue         README.md
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_6_width_23_odd.bin    backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_21_final.bin  docs           recompile.sh
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_18_even.bin   backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_21_odd.bin    ikpx2          solvers
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_18_final.bin  backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_22_even.bin   kissat         src
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_18_odd.bin    backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_22_odd.bin    kissat_extras
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_19_odd.bin    cadical                                                                                         LICENCE.txt
[user@computername ikpx2]$
A simulator with the tools I couldn’t find elsewhere: https://silversimulations.com/caplayer/
Documentation:https://github.com/teraxtech/caplayer

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » October 6th, 2024, 1:19 am

i'm working on a windows thinkpad
also, there's nothing before the $
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

User avatar
CARuler
Posts: 613
Joined: July 30th, 2024, 5:38 pm
Location: A rule-verse in floor rule-verse of the CGOL skyscraper

Re: ikpx 2.2

Post by CARuler » October 26th, 2024, 6:03 pm

oliver@oli-yoga MINGW64 ~/ikpx2 (master)
$ ./recompile.sh --rule b2cik3-i4-a5ys1e2aek3er5-a
Updating submodules...
Building kissat solver...
configure: reusing existing build directory 'build'
./configure: line 363: can not combine '--quiet' and '--no-statistics': command not found
./configure: line 562: gcc: command not found
configure: assuming GCC version uses C99 by default
configure: compiler 'gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNPROOFS -DQUIET'
configure: linker 'gcc' (no additional options)
configure: using default 'ar' (no cross compilation)
configure: no 'tissat' binary generated (without '--test')
configure: no 'libkissat.so' shared library generated (without '-shared')
configure: no 'kitten' binary generated (without '--kitten')
configure: install 'jq' to enable compile_commands.json generation
./recompile.sh: line 24: make: command not found

oliver@oli-yoga MINGW64 ~/ikpx2 (master)
$ ./ikpx2 --help
bash: ./ikpx2: No such file or directory
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA

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

Re: ikpx 2.2

Post by Sokwe » October 26th, 2024, 6:33 pm

CARuler wrote:
October 6th, 2024, 1:19 am
i'm working on a windows thinkpad
CARuler wrote:
October 26th, 2024, 6:03 pm
MINGW64 ~/ikpx2 (master)...

./configure: line 562: gcc: command not found
Years ago, I compiled Kissat under MinGW-w64, but I recall it being a tricky process. I don't know if the situation has improved since then for native Windows compilation, but you might have difficulty. You're especially going to have difficulty compiling if the compiler, gcc, can't be found.

I think the easiest way to compile ikpx2 on Windows would be to use Windows Subsystem for Linux (WSL). You should be able to find guides on how to install WSL on the internet.
-Matthias Merzenich

islptng
Posts: 133
Joined: May 24th, 2024, 6:17 am
Location: 种花家

Re: ikpx 2.2

Post by islptng » November 7th, 2024, 8:56 am

How can I continue a stopped search?
Not so active anymore because I'm in a mega giga terra dilemma.
| My sandbox | All my engineered replicators
| Probably the first rule with common (2,1)c/6 knightships

User avatar
confocaloid
Posts: 4918
Joined: February 8th, 2022, 3:15 pm
Location: https://catagolue.hatsya.com/census/b3s234c/C4_4/xp62

Re: ikpx 2.2

Post by confocaloid » November 8th, 2024, 1:10 am

islptng wrote:
November 7th, 2024, 8:56 am
How can I continue a stopped search?
Although I did not really use the backups feature enough to tell whether I'm using it correctly/whether it works correctly, here's an attempt to explain it.

If you just enter "./ikpx2" in the command line (without requesting any search), then it will print an "usage explainer":
./ikpx2 wrote:

Code: Select all

Incremental Knightship Partial Extender, version 2.2
====================================================

Usage: ./ikpx2 -v VELOCITY [OTHER_OPTIONS...] [INPUT_FILES...]

Minimal example: ./ikpx2 -v '(2,1)c/6'

Options:
   -v, --velocity          specify the velocity, e.g. '(2,1)c/6' or 'c/5d'
   -p, --threads           number of CPU threads to use (default 8)
   -n, --soups             number of soups to upload in each haul to Catagolue
   -k, --key               payosha256 key to upload non-anonymously to Catagolue
   -d, --directory         existing directory in which to save backup files
   -b, --backup            number of seconds between adjacent backups
   -m, --minimum-depth     only search from this position onwards
   -w, --width             initial search width in logical columns
   -x, --maximum-width     terminate the program when this width is exhausted
   -l, --lookahead         number of logical rows by which to extend partials
   -j, --jumpahead         number of logical rows to jump forward in the search
   -h, --help              show this message and exit

The input files can be either RLEs or ikpx2 backups (of the same velocity!).

To change the underlying rule, use:

    ./recompile.sh --rule RULE

where RULE can be any lifelike or isotropic rule in Hensel notation.

Error: zero command-line arguments were provided.
For backups, note in particular "-b" and "[INPUT_FILES...]"

I wanted to test the backup feature. To do that, I compiled ikpx2 for b2e3air4ijwzs12-in3k4r5i:

Code: Select all

# ./recompile.sh --rule b2e3air4ijwzs12-in3k4r5i
Then I requested a search for orthogonal c/13 spaceships, with 300 seconds (= 5 minutes) between backups:

Code: Select all

# ./ikpx2 -v c/13o -b 300
Note that you don't have to tell "-b 300". If unspecified, it defaults to 1800 seconds if I remember correctly, which is a reasonable choice for long-running searches.

Then I waited several minutes, until the following message was printed:
./ikpx2 -v c/13o -b 300 wrote:

Code: Select all

#C depth = 20
#C breadth = 6
#CLL state-numbering golly
x = 6, y = 10, rule = B2e3air4ijwz/S12-in3k4r5i
2b2o$2b2o$2o2b2o$bo2bo2$2b2o$bo2bo$o4bo2$bo2bo!

# Performing backup...
# ...saved backup file ./backup_b2e3air4ijwzs12-in3k4r5i_velocity_1_0_13_width_4_odd.bin successfully.

#C depth = 21
#C breadth = 6
#CLL state-numbering golly
x = 6, y = 10, rule = B2e3air4ijwz/S12-in3k4r5i
2b2o$2b2o$2o2b2o$bo2bo2$2b2o$bo2bo$o4bo2$ob2obo!
Then I interrupted the search (Ctrl+C). Now there is a file 'backup_b2e3air4ijwzs12-in3k4r5i_velocity_1_0_13_width_4_odd.bin' in the working directory in which ikpx2 was launched.

Then I requested the same search again, only this time specifying the backup file name:

Code: Select all

# ./ikpx2 -v c/13o -b 300 backup_b2e3air4ijwzs12-in3k4r5i_velocity_1_0_13_width_4_odd.bin
It prints the following, which I interpret as an indication that the program accepted and used the backup file:
./ikpx2 -v c/13o -b 300 backup_b2e3air4ijwzs12-in3k4r5i_velocity_1_0_13_width_4_odd.bin wrote:

Code: Select all

ikpx2 has been compiled for the rule b2e3air4ijwzs12-in3k4r5i  (235 prime implicants).

Checking SAT solver...
...check complete!

sizeof(workitem) = 32
sizeof(iterator) = 8
# Valid velocity: (1,0)c/13
# Jacobian: [(0, 13), (1, 0), (0, 1)]
# lookahead = 106; jumpahead = 13
# Profile: depth0 = 2/5 2/5 2/6 4/7 3/7 3/8 3/8 3/8 4/8 4/8 5/9 6/10 6/10 6/9 7/10 6/8 4/6 4/6 4/6 5/6 5/6 4 4 4 3 3 2 1 1 1 1 1 1 1 = depth33
# solvers invoked: trivial=63, cadical=62, kissat=36
# Adaptive widening to width 4 (treesize = 183)
# Profile: depth0 = 2/5 2/5 2/6 4/7 3/7 3/8 3/8 3/8 4/8 4/8 5/9 6/10 6/10 6/9 7/10 6/8 4/6 4/6 4/6 5/6 5/6 4 4 4 3 3 2 1 1 1 1 1 1 1 = depth33
127:1 B3/S234c User:Confocal/R (isotropic CA, incomplete)
Unlikely events happen.
My silence does not imply agreement, nor indifference. If I disagreed with something in the past, then please do not construe my silence as something that could change that.

User avatar
silversmith
Posts: 369
Joined: June 15th, 2020, 6:20 pm
Location: Pennsylvania, USA, Earth, Sector 5ff63D6
Contact:

Re: ikpx 2.2

Post by silversmith » November 22nd, 2024, 11:00 am

A search I was running kept crashing, and the issue seems to persist when resuming the backup from another computer. This is the command I ran, which crashed with a segmentation fault after about half an hour.

Code: Select all

./ikpx2 --velocity "(2,1)c/7" backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_24_odd.bin -w 24
Backup file:
https://drive.google.com/file/d/1gejnkF ... sp=sharing

ikpx2 version: commit 0753426bf46496d08eb0ab3540eddb93c1d4e193

Somewhat relatedly, what is the file size limit for this forum? It seems the 69MB compressed backup was too large.

I am mainly uploading this as a bug report, and to help anyone who may have a similar issue.
A simulator with the tools I couldn’t find elsewhere: https://silversimulations.com/caplayer/
Documentation:https://github.com/teraxtech/caplayer

User avatar
R2INT
Posts: 202
Joined: July 2nd, 2024, 7:42 pm

Re: ikpx 2.2

Post by R2INT » November 27th, 2024, 2:06 pm

How do I get ikpx 2.2 working on Windows?
Range-2 INT
R2INT's Rule Collection

Currently experimenting with 3-state rules.

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

Re: ikpx 2.2

Post by Sokwe » November 27th, 2024, 9:01 pm

R2INT wrote:
November 27th, 2024, 2:06 pm
How do I get ikpx 2.2 working on Windows?
You should compile and run it under WSL 2 (Windows Subsystem for Linux Version 2).
-Matthias Merzenich

islptng
Posts: 133
Joined: May 24th, 2024, 6:17 am
Location: 种花家

Re: ikpx 2.2

Post by islptng » December 3rd, 2024, 10:54 pm

Who can precompile ikpx2 for windows? I tried to download Cygwin but failed, on my Windows 7 alter computer.
For BasiKnight(b2e3air4ijwzs12-in3k4r5i), c/5o. Thanks.
Not so active anymore because I'm in a mega giga terra dilemma.
| My sandbox | All my engineered replicators
| Probably the first rule with common (2,1)c/6 knightships

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

Re: ikpx 2.2

Post by Sokwe » December 7th, 2024, 5:11 pm

islptng wrote:
December 3rd, 2024, 10:54 pm
Who can precompile ikpx2 for windows? I tried to download Cygwin but failed, on my Windows 7 alter computer.
For BasiKnight(b2e3air4ijwzs12-in3k4r5i), c/5o. Thanks.
Compiling a portable Windows executable for ikpx2 is a nontrivial task, so I doubt anyone will do this for you. If you can't get it working, I suggest trying to get some other program to work. I think LLSSS would be the best fit for what you're trying to search, although you will need to compile it using the rust compiler. I'm not sure if there are any issues with compiling LLSSS for Windows. LLSSS discussion goes in this thread.
-Matthias Merzenich

Post Reply