ksolve+ v1.0 - general-purpose algorithm finder

Discussion in 'Software Area' started by qqwref, Oct 17, 2013.

Welcome to the Speedsolving.com. You are currently viewing our boards as a guest which gives you limited access to join discussions and access our other features. By joining our free community of over 30,000 people, you will have access to post topics, communicate privately with other members (PM), respond to polls, upload content and access many other special features. Registration is fast, simple and absolutely free so please, join our community today!

If you have any problems with the registration process or your account login, please contact us and we'll help you get started. We look forward to seeing you on the forums!

Already a member? Login to stop seeing this message.
1. Methuselah96Member

318
0
Jun 17, 2010
WCA:
2012BIER01
As far as I know (I've never actually run the program) assuming you're using these definitions:
# CORNERS URF ULF ULB URB DRF DLF DLB DRB
# EDGES UF UL UB UR FR FL BL BR DF DL DB DR
and you have the LL on top, the ignore part of the def file would be:
Ignore
CORNERS
1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 0
EDGES
1 1 1 1 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
End

Because you want to ignore the permutation of the top pieces hence the 1's in the permutation (top) lines.

Last edited: Feb 4, 2014
2. JakubeMember

790
2
Feb 3, 2011
Austria
WCA:
2011KOGL01
JakubeBLD
And in the scramble file, you have to set the responseble pieces to '?'. Otherwise it would try to solve the permutation.

Scramble Bar-OLL
CORNERS
? ? ? ? 5 6 7 8
2 1 2 1 0 0 0 0
CENTERS
? ? ? ? 5 6 7 8 9 10 11 12
0 1 0 1 0 0 0 0 0 0 0 0
End

3. TheNextFeliksMember

Oct 27, 2012
KCKS
WCA:
2013POPE01
TheNextFeliks
I have this
Code:
Name 3x3

# .def file by Michael Gottlieb
# CORNERS URF ULF ULB URB DRF DLF DRB
# EDGES UF UL UB UR FR FL BL BR DF DL DB DR

Set CORNERS 7 3
Set EDGES 9 2

Solved
CORNERS
1 2 3 4 5 6 7
0 0 0 0 0 0 0
EDGES
1 2 3 4 5 6 7 8 9
0 0 0 0 0 0 0 0 0
End

Move U
CORNERS
4 1 2 3 5 6 7
EDGES
4 1 2 3 5 6 7 8 9
End

Move R
CORNERS
5 2 3 1 7 6 4
1 0 0 2 2 0 1
EDGES
1 2 3 5 9 6 4 8 7
0 0 0 1 1 0 1 0 1
End

Move F
CORNERS
2 6 3 4 1 5 7
2 1 0 0 1 2 0
EDGES
6 2 3 4 1 8 7 5 9
End

Ignore
CORNERS
1 1 1 1 0 0 0
0 0 0 0 0 0 0
EDGES
1 1 1 1 0 0 0 0 0
0 0 0 0 0 0 0 0 0
End
and

my scramble is this:
Code:
Scramble Bar-OLL
CORNERS
? ? ? ? 5 6 7
2 1 2 1 0 0 0
EDGES
? ? ? ? 5 6 7 8 9
0 1 0 1 0 0 0 0 0
End
And I am getting this:

4. JakubeMember

790
2
Feb 3, 2011
Austria
WCA:
2011KOGL01
JakubeBLD
I guess, a table needs too much memory. At least JavaScript has some problems. Your def- and scramble files are o.k.

Try using the offline version. It can run your def- and scramble-files without any error. I get the solution
Depth 12
F R' F' R U2 F' U F U' R U2 R'

5. KirjavaColourful

6,124
12
Mar 26, 2006
WCA:
2006BARL01
snkenjoi
Ok so, I'm trying to make a solver for a specific subset of something within Square1 BarrelBarrel shape.

The blocking doesn't appear to work correctly, maybe it's something to do with blocking and having two types of blocked pieces that are the same?

Here's my definition file:

Code:
Name Sq1orb

# Corner Orbitation
# 2 3 = Y
# 4 5 = W
# http://i.imgur.com/tMCVYzA.png
Set EDGES 24 1

Solved
EDGES
1 2 3 4 5 1 1 2 3 4 5 1 1 4 5 2 3 1 1 4 5 2 3 1
End

Move U
EDGES
12 1 2 3 4 5 6 7 8 9 10 11 13 14 15 16 17 18 19 20 21 22 23 24
End

Move D
EDGES
1 2 3 4 5 6 7 8 9 10 11 12 14 15 16 17 18 19 20 21 22 23 24 13
End

Move /
EDGES
1 2 3 4 5 6 24 23 22 21 20 19 13 14 15 16 17 18 12 11 10 9 8 7
End

Block
EDGES
2 3
End

Block
EDGES
4 5
End

Ignore
EDGES
1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1
End

And an example scramble file that produces impossible scrambles:

Code:
Slack 2
HTM
Scramble Step_1_case
EDGES
?1 4 5 4 5 ?1 ?1 4 5 4 5 ?1 ?1 2 3 2 3 ?1 ?1 2 3 2 3 ?1
End

Can you not have interchangable block pieces? I'm pretty sure this is a bug.

6. ryanj92Member

1,574
17
Dec 26, 2011
Sheffield, UK
WCA:
2012JONE03
forty3quintillion
i've been playing around with ksolve this afternoon, and i occasionally get the following error for certain scrambles:

Here is an example of a scramble which gives this error and the .def file i am using:
Scramble purepifliplr
CENTERS
1 2 3 4
0 0 0 0
CORNERS
1 2 3 4 5 6
1 1 2 2 0 0
EDGES
? ? ? ? 5 6 7 8 9
0 1 0 1 0 0 0 0 0
End
Name 3x3x3 <M,R,r,U>

# Edges: UF UR UB UL DF DR DB FR BR
# Corners: UBL UBR UFR UFL DBR DFR
# Centers: U F D B

Set EDGES 9 2
Set CORNERS 6 3
Set CENTERS 4 1

Solved
EDGES
1 2 3 4 5 6 7 8 9
CORNERS
1 2 3 4 5 6
CENTERS
1 2 3 4
End

Move U
EDGES
2 3 4 1 5 6 7 8 9
CORNERS
4 1 2 3 5 6
CENTERS
1 2 3 4
End

Move R
EDGES
1 8 3 4 5 9 7 6 2
CORNERS
1 3 6 4 2 5
0 2 1 0 1 2
CENTERS
1 2 3 4
End

Move r
EDGES
5 8 1 4 7 9 3 6 2
1 0 1 0 1 0 1 0 0
CORNERS
1 3 6 4 2 5
0 2 1 0 1 2
CENTERS
2 3 4 1
End

Move M
EDGES
3 2 7 4 1 6 5 8 9
1 0 1 0 1 0 1 0 0
CORNERS
1 2 3 4 5 6
CENTERS
4 1 2 3
End

Ignore
EDGES
1 1 1 1 0 0 0 0 0
0 0 0 0 0 0 0 0 0
End
what might be causing the error? i've tried inputting the scramble from all angles, but I get the same error each time...

EDIT: Ben managed to work this scramble fine, it may just be the laptop i am using then...

Last edited: Jun 27, 2014

595
25
Oct 2, 2011
Portugal
WCA:
2014GOME07
cubizh
8. ryanj92Member

1,574
17
Dec 26, 2011
Sheffield, UK
WCA:
2012JONE03
forty3quintillion
Noob question...
I've been trying to generate tables for the <M,R,r,U,F> subset, and it keeps giving up, presumably because its used up it's allocated memory (memory usage hits a peak and then hangs for a while before the program terminates) despite there still being memory available... How can I allocate more memory?

9. qqwrefMember

7,832
17
Dec 18, 2007
a <script> tag near you
WCA:
2006GOTT01
qqwref2
Do you mean pruning tables or God's Algorithm tables? How much is it trying to store? And what OS are you using (including 32 bit or 64 bit)?

10. ryanj92Member

1,574
17
Dec 26, 2011
Sheffield, UK
WCA:
2012JONE03
forty3quintillion
Pruning tables, and it crashes during EP (tablesize 3628800)
Using 64-bit windows 7 (home premium)

855
1
May 29, 2006
WCA:
2007NELS01
Is there any way to disable the automatic multiplicator function? I am defining each "move" as a short algorithm, rather than a single move, and so I don't want to search with things like Uperm'. I would rather define things like U2 and U' manually (and UD and UD' and such along the way).

12. G2013Member

655
10
Jul 8, 2014
In the underground
WCA:
2013DIPI01
Help! I open the program, but it automatically closes itself...

855
1
May 29, 2006
WCA:
2007NELS01
It's a command line program - you can't just double-click it in explorer and expect it to do anything. It requires you to open up a command prompt and pass along the .def and scramble files as arguments.

14. G2013Member

655
10
Jul 8, 2014
In the underground
WCA:
2013DIPI01
What? I don't understand that. I have some .def files on my ksolve folder, what do I do with them?

15. cubizhSuper ModeratorStaff Member

595
25
Oct 2, 2011
Portugal
WCA:
2014GOME07
cubizh
You need to open a cmd line (if you don't know, search on how to use the command line and how to change local directory on a search engine), and to start the program you write something like
Code:
ksolve filename.def something.txt

16. G2013Member

655
10
Jul 8, 2014
In the underground
WCA:
2013DIPI01
I just want to find a [Rw, U] U perm, and somehow I ended up here... For what I've read, I need to build up a "3x3x3_RwU" file, but I don't know how to use cmd, I don't know how to program or define values, and all that in English is even harder. Sorry for my ignorance

^^It seems there should be a "xksolve" or "winksolve"

18. StefanMember

May 7, 2006
WCA:
2003POCH01
StefanPochmann
At least in Windows Explorer, one can hold shift and right-click on or into the folder (not on a file), then select "Open command window here".

Alternatively, one can create a .bat file with a text editor, for example "run.bat" containing this:
Code:
ksolve filename.def something.txt
pause
Sorry that this was just for Windows, I don't know Apple stuff (and if he were using something else, he wouldn't be asking such a question ).

19. qqwrefMember

7,832
17
Dec 18, 2007
a <script> tag near you
WCA:
2006GOTT01
qqwref2
ksolve+ *is* for Windows. There's a Linux version too but obviously if you are on Windows you shouldn't use that one. The thing is, there's no GUI, so you can't just click around on a window to set stuff up. Writing a GUI is tricky and can take a lot of time, so you can imagine why I didn't feel like doing it. If someone wants to give it a shot, go ahead...

20. G2013Member

655
10
Jul 8, 2014
In the underground
WCA:
2013DIPI01
I have managed to get a 3x3x3rU def file and scramble file to find the U perm.
Code:
Name 3x3rU

# .def file by Guido Toodeepy
# CORNERS ULB URB ULF URF DRF DRB
# EDGES UB UL UR UF FR BR DF DR DB

Set CORNERS 6 3
Set EDGES 9 2

Solved
CORNERS
1 2 3 4 5 6
EDGES
1 2 3 4 5 6 7 8 9
End

Move r
CORNERS
1 4 3 5 6 2
0 1 0 2 1 2
EDGES
4 2 5 7 8 3 9 6 1
1 0 0 1 0 0 1 0 1
End

Move U
CORNERS
3 1 4 2 5 6
0 0 0 0 0 0
EDGES
2 4 1 3 5 6 7 8 9
0 0 0 0 0 0 0 0 0
End
Code:
Slack 3

Scramble Uperm
CORNERS
1 2 3 4 5 6
EDGES
2 3 1 4 5 6 7 8 9
End
Now, I want to run it. How do I do? I enter to cmd and type "ksolve 3x3x3_rU.def 3x3x3_rU.txt" but nothing happens.