ikpx 2.2

[calcyman]

I ran into a problem when searching for a (2,1)c/7 knightship. Three times the program crashed due to some kind of error.

Yes, it's a bug in Jannis Harder's incremental version of kissat that causes segfaults sometimes. Commit 27bc3beb shouldn't segfault.

[LaundryPizza03]

Warning message generated while recompiling ikpx2 on macOS 12.6.6. I had previously reported a similar warning message for apgsearch v5.39.

Code: Select all

> ./recompile.sh --rule b35s034
Updating submodules...
libkissat.a already detected
Configuring lifelib...
Using /Library/Frameworks/Python.framework/Versions/3.9/bin/python3 to configure lifelib...
Valid symmetry: ikpx2_stdin
Success!
Gathering latest library versions...
Compiling ikpx2...
apgmera/includes/md5.cpp:342:5: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
    sprintf(buf+i*2, "%02x", digest[i]);
    ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdio.h:188:1: note: 'sprintf' has been explicitly marked deprecated here
__deprecated_msg("This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead.")
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:215:48: note: expanded from macro '__deprecated_msg'
        #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
                                                      ^
1 warning generated.
apgmera/includes/happyhttp.cpp:390:2: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
        sprintf( buf, "%d", numericvalue );
        ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdio.h:188:1: note: 'sprintf' has been explicitly marked deprecated here
__deprecated_msg("This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead.")
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:215:48: note: expanded from macro '__deprecated_msg'
        #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
                                                      ^
1 warning generated.
In file included from src/main.cpp:2:
In file included from src/apgluxe.hpp:4:
In file included from src/../apgmera/includes/base.h:20:
In file included from src/../apgmera/includes/payosha256.h:7:
src/../apgmera/includes/../lifelib/soup/sha256.h:201:9: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
        sprintf(buf+i*2, "%02x", digest[i]);
        ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdio.h:188:1: note: 'sprintf' has been explicitly marked deprecated here
__deprecated_msg("This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead.")
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:215:48: note: expanded from macro '__deprecated_msg'
        #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
                                                      ^
1 warning generated.

 **** build process completed successfully ****
 

[hkoenig]

I thought I posted a response on the other thread, but I don't see it.

That's a warning that "sprintf()" is considered a security risk, and a warning that it's deprecated and someday it might even disappear. Security isn't much of an issue here, so don't worry about it too much. The program will run as intended.

If it wasn't in a standard UNIX library and in one of their own libraries, Apple would've removed sprintf long ago. But there's too much old code out there, especially academic, non-commercial and open source, that depends on it, as you've discovered. If it really bothers you to have warnings (and it should), then it would be good programming to replace with it "snprintf()" so the code doesn't suddenly and inconveniently break if they do remove it.

If you prefer to live dangerously, you can also turn off deprecation warnings by overriding the implied "-Wdeprecated-declarations" switch.

[LaundryPizza03]

I cannot read in any backup files.

Code: Select all

./ikpx2 -v 2,1c/5 -p 4 -n 10000 -k [your payosha256 key] -b "backup_b35s03478_velocity_2_1_5_width_24_even.bin"

           :'',
          ,: '' '' ,,
         :     : ,, ' ,
        :    ,:   : : :
         : , : , ', ,
              ,,' ' ':  ,,
                  ,  :'''',
                 ,: :,'' ,,
                    :, :',
                  ,, :  '' :
                   '''','': ,
                          ',:
                   '''     '  :
                   ,    :'  , '
                   ''', ',:,
          *---*   *---*  '*---------*   *---*   *---*
         /   /|  /   /'   |\         \   \   \ /   /
        /   / * /   *---*:* \   v2.2  \   \   v   /
       /   / / /         \ \ \         *   *     *
      /   / / /       *---* \ \   *---*   /       \
     /   / / /   / \   \  ,,,\ \   \,    /   / \   \
    *---* / *---* | *---* : ,:\ *---*   *---* | *---*
    |   |/  |   |/ \|   | '   :\|   |'' |   |/ \|   |
    *---*   *---*   *---*  '''  *---*   *---*   *---*
                           ,''',
                            ' ::,
                         ::' , ,:'
                           '',  '
                         ,''''':'',
                          , ,:  :,:
                                ''' ,,
                              ':  , :
                            ':,  ': :'
                             ':',,' :
                              ' ' :   ,
                               ::,, '
                                  :::
                                ,,,''
                                ',,

Instruction set AVX2 detected
ikpx2 has been compiled for the rule b35s03478  (779 prime implicants).

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

sizeof(workitem) = 32
sizeof(iterator) = 8
libc++abi: terminating with uncaught exception of type std::invalid_argument: stoll: no conversion

[LaundryPizza03]

I ran into a problem when searching for a (2,1)c/7 knightship. Three times the program crashed due to some kind of error.

Yes, it's a bug in Jannis Harder's incremental version of kissat that causes segfaults sometimes. Commit 27bc3beb shouldn't segfault.

I cannot revert to this commit because there are local changes to recompile.sh, but git reset does nothing.

[TYCF]

The "Quick start" in README.md says:
"To build ikpx2 for the default rule (B3/S23), simply run: ./recompile.sh"

Where am I suppose to run the code ?

(I am new to using programs so I don't really know how to use them)

[MEisSCAMMER]

Where am I suppose to run the code ?

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

[TYCF]

Where am I suppose to run the code ?

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

It is windows 10 on this computer, but I can't find Command Prompt.
Also, can I use Windows PowerShell ?

[MEisSCAMMER]

Where am I suppose to run the code ?

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

It is windows 10 on this computer, but I can't find Command Prompt.
Also, can I use Windows PowerShell ?

Actually, that's what it's called. It seems I was mistaken about calling it Command Prompt (I don't use Windows and was relying on memory, which failed me).

[TYCF]

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

It is windows 10 on this computer, but I can't find Command Prompt.
Also, can I use Windows PowerShell ?

Actually, that's what it's called. It seems I was mistaken about calling it Command Prompt (I don't use Windows and was relying on memory, which failed me).

Am I suppose to press enter after entering ./recompile.sh?

[GUYTU6J]

Is anyone else experiencing this issue recently? Even a freshly cloned ikpx2 fails to compile B3/S23.

Code: Select all

:~/ikpx2$ ./recompile.sh --rule B3/S23
Updating submodules...
Building kissat solver...
configure: reusing existing build directory 'build'
./configure: 363: can not combine '--quiet' and '--no-statistics': not found
configure: assuming GCC version 9.4.0 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: generating compile_commands.json
./configure: 704: jq: not found
./configure: 708: jq: not found

[confocaloid]

IIRC I was able to "solve" that (a few months ago) by removing a line related to "jq" somewhere in the source code.

Edit: the file "kissat_extras/configure" contains line:

Code: Select all

if which jq &> /dev/null

I just tried to inserted line "exit 0" before that line. Then recompiling seemed to work, and running "ikpx2 -v c/3o" found the turtle.

[pzq_alex]

Just do sudo apt install jq if you're on Linux (or WSL). Otherwise try to get jq installed (on the PATH) on your computer. I have no idea what ikpx2 would use jq to do though...