ksolve+ v1.0 - general-purpose algorithm finder

[CubeBlazer]

I have been running Ksolve++ for about 30 minutes and the complete pruning tables are not finished yet. How long does it take for the pruning tables to generate?

 

[CubeBlazer]

I answered my question. it took 2137 seconds(36 minutes) to generate edges and 226 seconds(4 minutes) to generate corners. So 40 minutes. At least it works.

 

[N's-cvt]

So I am in https://cubing.net/ksolve.js/
and I would love to know how to turn the solutions into Quarter Turn Metric. the readme says to put the command in the scramble file so how should I exactly do that involving hyphons, spaces, and capitilazition?

 

[ProStar]

So I am in https://cubing.net/ksolve.js/
and I would love to know how to turn the solutions into Quarter Turn Metric. the readme says to put the command in the scramble file so how should I exactly do that involving hyphons, spaces, and capitilazition?

Why would you want it in QTM? The standard is HTM or sometimes STM, so it's probably best to just use that

 

[sqAree]

Why would you want it in QTM? The standard is HTM or sometimes STM, so it's probably best to just use that

Because QTM does a better job at estimating how fast an algorithm might be.

 

[N's-cvt]

Finally figured out how to use the QTM in the scramble file but now that I am learning more about this program and the vectors and stuff I wanted to make a RrU F perm with the RrU download from the Ksolve+ website.
Def file
Name 3x3x3 <R,r,U>

# def-file by Mitchell Stern
# 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

And the scramble file I made
ScrambleAlg FPerm
Corners
1 2 4 3 5 6
0 0 0 0 0 0
Edges
3 2 1 4 5 6 7 8 9
0 0 0 0 0 0 0 0 0
End

Why does cmd say that "move corners in scramble FPerm is unknown"
Fixed by capitalization error.
Now however it states that "unknown set 1 in scramble Fperm"

 

[shadowslice e]

Finally figured out how to use the QTM in the scramble file but now that I am learning more about this program and the vectors and stuff I wanted to make a RrU F perm with the RrU download from the Ksolve+ website.
Def file
Name 3x3x3 <R,r,U>

# def-file by Mitchell Stern
# 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

And the scramble file I made
ScrambleAlg FPerm
Corners
1 2 4 3 5 6
0 0 0 0 0 0
Edges
3 2 1 4 5 6 7 8 9
0 0 0 0 0 0 0 0 0
End

Why does cmd say that "move corners in scramble FPerm is unknown"
Fixed by capitalization error.
Now however it states that "unknown set 1 in scramble Fperm"

Just thought it would be worth pointing out that ksolve++ exists and is more flexible and faster than ksolve+. The only real downside is that you need to install a compiler and recompile every time you make a new puzzle.

 

[N's-cvt]

Alright So I think I know the basics of how to run this program for PLL's and I have been able to generate an RUF F-perm but one thing I don't get is this in the definition file determining moves...
Move R
CORNERS
5 2 3 1 7 6 4
1 0 0 2 2 0 1
Specifically the corner orientation because the corner permutation I get but what is the key for orientation?

 

[ProStar]

Alright So I think I know the basics of how to run this program for PLL's and I have been able to generate an RUF F-perm but one thing I don't get is this in the definition file determining moves...
Move R
CORNERS
5 2 3 1 7 6 4
1 0 0 2 2 0 1
Specifically the corner orientation because the corner permutation I get but what is the key for orientation?

Why aren't you using ksolve++

 

[N's-cvt]

Haha I finally switched and it's fun however I still don't understand orientation of pieces in the def file. And also, I can't figure out how to set certain move weights like it should work under this command:
MoveWeights
R QTM
End
But it says that "weight of move R <0> should be positive, Ignoring command"

 

[N's-cvt]

Why doesn't 3x3x3 wide Rw moves work in ksolve++ ?
It keeps crashing the Ksolve++.exe

 

[paul.edmondson.magician]

Just downloaded ksolve++ and when I click the exe file or flashes up briefly then does nothing. Anyone any ideas? Running Windows 10. Checked registry

Sent from my CLT-L09 using Tapatalk

 

[shadowslice e]

Start up the command line and call the file from there.

EDIT: if you're just trying to start up the ksolve++.exercise file, that wont do anything as it needs a .def file as input: see the readme

 

[paul.edmondson.magician]

Start up the command line and call the file from there.

EDIT: if you're just trying to start up the ksolve++.exercise file, that wont do anything as it needs a .def file as input: see the readme

I'm literally clicking on the exe file and it does nothing

Sent from my CLT-L09 using Tapatalk

 

[brododragon]

I'm literally clicking on the exe file and it does nothing

Sent from my CLT-L09 using Tapatalk

He just said you need a .def file.

 

[abunickabhi]

I am still to figure out how to use ksolve to generate 5style algs for 3x3. I use Cube Explorer for that. It is tough to setup cases of just 5 edges on the ksolve initial condition text file.

 

[FakeMMAP]

Can anyone give me any detailed explanation on how the command "Ignore" works on ksolve++? I can't figure out if the ignored pieces are the pieces themselves or the positions.

In particular I'm working on skewb (with full rubikskewb notation ) and I'm trying to generate short layers where DBL is solved and DFL is in DBR's place and oriented correctly (Layer on D).

Thanks in advance!

 

[rcarvalho]

Trying to use KSOLVE+ for Square-1 using this definiton file 'sq1full.def':

Name sq1full

# def-file by Andrew Nelson

# pieces are: UFL UFLx UL UBL UBLx UB UBR UBRx UR UFR UFRx DFL DFLx DL DBL DBLx DB DBR DBRx DR DFR DFRx
# x pieces are bandaged

Set EDGES 24 1

Solved
EDGES
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
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
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
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
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
End

Move R
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
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
End

DisallowMoves
EDGES
1 2
EDGES
4 5
EDGES
7 8
EDGES
10 11
EDGES
13 14
EDGES
16 17
EDGES
19 20
EDGES
22 23
End

My scramble file is this:

ScrambleAlg MYALG
U2 / D2 / -U
End
MaxDepth 20
Slack 5

Program error is "Move / in scramble MYALG is unknown."

Can anyone please help?

 

[xyzzy]

Program error is "Move / in scramble MYALG is unknown."

Use "R", not "/".