What did you try? What errors did you get?
ikpx 2.2
- silversmith
- Posts: 369
- Joined: June 15th, 2020, 6:20 pm
- Location: Pennsylvania, USA, Earth, Sector 5ff63D6
- Contact:
Re: ikpx 2.2
A simulator with the tools I couldn’t find elsewhere: https://silversimulations.com/caplayer/
Documentation:https://github.com/teraxtech/caplayer
Documentation:https://github.com/teraxtech/caplayer
- 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
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
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
- silversmith
- Posts: 369
- Joined: June 15th, 2020, 6:20 pm
- Location: Pennsylvania, USA, Earth, Sector 5ff63D6
- Contact:
Re: ikpx 2.2
Well have you ever used git?
If you have git then run
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.
If you have git then run
Code: Select all
git clone https://gitlab.com/apgoucher/ikpx2.git
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
Documentation:https://github.com/teraxtech/caplayer
- 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
alright, done all steps.silversmith wrote: ↑September 27th, 2024, 6:43 pmWell have you ever used git?
If you have git then runin whatever folder you want ikpx2 to be in.Code: Select all
git clone https://gitlab.com/apgoucher/ikpx2.git
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.
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
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
- silversmith
- Posts: 369
- Joined: June 15th, 2020, 6:20 pm
- Location: Pennsylvania, USA, Earth, Sector 5ff63D6
- Contact:
Re: ikpx 2.2
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
Code: Select all
./ikpx2 --velocity c/3
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
Documentation:https://github.com/teraxtech/caplayer
- 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
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
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
- LaundryPizza03
- Posts: 2436
- Joined: December 15th, 2017, 12:05 am
- Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: ikpx 2.2
Code: Select all
./recompile.sh --rule <RULE>
Code: Select all
./ikpx2 -v <speed>
Code: Select all
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
- 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
I meant how do get it to execute commands in gitLaundryPizza03 wrote: ↑September 30th, 2024, 5:30 pmCode: Select all
./recompile.sh --rule <RULE>
Type in ./ikpx2 -h for more information.Code: Select all
./ikpx2 -v <speed>
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
- silversmith
- Posts: 369
- Joined: June 15th, 2020, 6:20 pm
- Location: Pennsylvania, USA, Earth, Sector 5ff63D6
- Contact:
Re: ikpx 2.2
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
Code: Select all
./ikpx2 --velocity c/3
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
Documentation:https://github.com/teraxtech/caplayer
- 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
A window in git opened and closed nothing else happenedsilversmith 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
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
- confocaloid
- Posts: 4918
- Joined: February 8th, 2022, 3:15 pm
- Location: https://catagolue.hatsya.com/census/b3s234c/C4_4/xp62
Re: ikpx 2.2
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 pmqfind 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.
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.
- 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
That was in the command terminal, not gitconfocaloid 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 pmqfind 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").
likes interesting rules
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
- silversmith
- Posts: 369
- Joined: June 15th, 2020, 6:20 pm
- Location: Pennsylvania, USA, Earth, Sector 5ff63D6
- Contact:
Re: ikpx 2.2
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?
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 ~]$
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
Documentation:https://github.com/teraxtech/caplayer
- 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
i'm working on a windows thinkpad
also, there's nothing before the $
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
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
- 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
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
$ ./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
vist my rules here
also, if you have fractal-related discoveries
also likes weird growth patterns in CA
Re: ikpx 2.2
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
Re: ikpx 2.2
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
| My sandbox | All my engineered replicators
| Probably the first rule with common (2,1)c/6 knightships
- confocaloid
- Posts: 4918
- Joined: February 8th, 2022, 3:15 pm
- Location: https://catagolue.hatsya.com/census/b3s234c/C4_4/xp62
Re: ikpx 2.2
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":
For backups, note in particular "-b" and "[INPUT_FILES...]"./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.
I wanted to test the backup feature. To do that, I compiled ikpx2 for b2e3air4ijwzs12-in3k4r5i:
Code: Select all
# ./recompile.sh --rule b2e3air4ijwzs12-in3k4r5i
Code: Select all
# ./ikpx2 -v c/13o -b 300
Then I waited several minutes, until the following message was printed:
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../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 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
./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.
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.
- silversmith
- Posts: 369
- Joined: June 15th, 2020, 6:20 pm
- Location: Pennsylvania, USA, Earth, Sector 5ff63D6
- Contact:
Re: ikpx 2.2
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.
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.
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
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
Documentation:https://github.com/teraxtech/caplayer
Re: ikpx 2.2
How do I get ikpx 2.2 working on Windows?
Re: ikpx 2.2
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.
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
| My sandbox | All my engineered replicators
| Probably the first rule with common (2,1)c/6 knightships
Re: ikpx 2.2
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