h48

A prototype for an optimal Rubik's cube solver, work in progress.
git clone https://git.tronto.net/h48
Download | Log | Files | Refs | README | LICENSE

commit 0032089b5c7dedf057c60fcee17cbdd2b0f8bb87
parent 2edc8c01fba711f4410279b59c784a43cf2dde41
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Tue, 10 Oct 2023 23:51:20 +0200

Added more complete test for SRC_write; renamed tests for clarity

Diffstat:
MREADME.md | 4++--
Rtest/010_io_H48/00_garbage.in -> test/010_io_H48_read_write/00_garbage.in | 0
Rtest/010_io_H48/00_garbage.out -> test/010_io_H48_read_write/00_garbage.out | 0
Rtest/010_io_H48/01_solved_oneline.in -> test/010_io_H48_read_write/01_solved_oneline.in | 0
Rtest/010_io_H48/01_solved_oneline.out -> test/010_io_H48_read_write/01_solved_oneline.out | 0
Rtest/010_io_H48/02_solved_oneline_whitespace.in -> test/010_io_H48_read_write/02_solved_oneline_whitespace.in | 0
Rtest/010_io_H48/02_solved_oneline_whitespace.out -> test/010_io_H48_read_write/02_solved_oneline_whitespace.out | 0
Rtest/010_io_H48/03_solved_multiline.in -> test/010_io_H48_read_write/03_solved_multiline.in | 0
Rtest/010_io_H48/03_solved_multiline.out -> test/010_io_H48_read_write/03_solved_multiline.out | 0
Rtest/010_io_H48/04_unsolvable_ep.in -> test/010_io_H48_read_write/04_unsolvable_ep.in | 0
Rtest/010_io_H48/04_unsolvable_ep.out -> test/010_io_H48_read_write/04_unsolvable_ep.out | 0
Rtest/010_io_H48/05_unsolvable_eo.in -> test/010_io_H48_read_write/05_unsolvable_eo.in | 0
Rtest/010_io_H48/05_unsolvable_eo.out -> test/010_io_H48_read_write/05_unsolvable_eo.out | 0
Rtest/010_io_H48/06_unsolvable_cp.in -> test/010_io_H48_read_write/06_unsolvable_cp.in | 0
Rtest/010_io_H48/06_unsolvable_cp.out -> test/010_io_H48_read_write/06_unsolvable_cp.out | 0
Rtest/010_io_H48/07_unsolvable_co.in -> test/010_io_H48_read_write/07_unsolvable_co.in | 0
Rtest/010_io_H48/07_unsolvable_co.out -> test/010_io_H48_read_write/07_unsolvable_co.out | 0
Rtest/010_io_H48/08_unsolved.in -> test/010_io_H48_read_write/08_unsolved.in | 0
Rtest/010_io_H48/08_unsolved.out -> test/010_io_H48_read_write/08_unsolved.out | 0
Rtest/010_io_H48/io_H48_tests.c -> test/010_io_H48_read_write/io_H48_tests.c | 0
Rtest/011_io_SRC/01_solved.in -> test/011_io_SRC_write/01_solved.in | 0
Rtest/011_io_SRC/01_solved.out -> test/011_io_SRC_write/01_solved.out | 0
Atest/011_io_SRC_write/02_scrambled.in | 1+
Atest/011_io_SRC_write/02_scrambled.out | 4++++
Rtest/011_io_SRC/io_SRC_tests.c -> test/011_io_SRC_write/io_SRC_tests.c | 0
Mutils/FORMAT.txt | 2+-
26 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md @@ -4,8 +4,8 @@ Work in progress. TODO: -* implement writecubesrc() to make it easy to implement transformations -* implement transformations +* test SRC: scrambled cube, rename directory in io_SRC_write +* implement transformations (use write to SRC to make life easier) * setup benchmarks * coordinates: co, eo, epsep, cpsep_sym, cocpsep_sym, cphtr_sym, cocphtr_sym * pruning tables (1 bit per entry + fallback) diff --git a/test/010_io_H48/00_garbage.in b/test/010_io_H48_read_write/00_garbage.in diff --git a/test/010_io_H48/00_garbage.out b/test/010_io_H48_read_write/00_garbage.out diff --git a/test/010_io_H48/01_solved_oneline.in b/test/010_io_H48_read_write/01_solved_oneline.in diff --git a/test/010_io_H48/01_solved_oneline.out b/test/010_io_H48_read_write/01_solved_oneline.out diff --git a/test/010_io_H48/02_solved_oneline_whitespace.in b/test/010_io_H48_read_write/02_solved_oneline_whitespace.in diff --git a/test/010_io_H48/02_solved_oneline_whitespace.out b/test/010_io_H48_read_write/02_solved_oneline_whitespace.out diff --git a/test/010_io_H48/03_solved_multiline.in b/test/010_io_H48_read_write/03_solved_multiline.in diff --git a/test/010_io_H48/03_solved_multiline.out b/test/010_io_H48_read_write/03_solved_multiline.out diff --git a/test/010_io_H48/04_unsolvable_ep.in b/test/010_io_H48_read_write/04_unsolvable_ep.in diff --git a/test/010_io_H48/04_unsolvable_ep.out b/test/010_io_H48_read_write/04_unsolvable_ep.out diff --git a/test/010_io_H48/05_unsolvable_eo.in b/test/010_io_H48_read_write/05_unsolvable_eo.in diff --git a/test/010_io_H48/05_unsolvable_eo.out b/test/010_io_H48_read_write/05_unsolvable_eo.out diff --git a/test/010_io_H48/06_unsolvable_cp.in b/test/010_io_H48_read_write/06_unsolvable_cp.in diff --git a/test/010_io_H48/06_unsolvable_cp.out b/test/010_io_H48_read_write/06_unsolvable_cp.out diff --git a/test/010_io_H48/07_unsolvable_co.in b/test/010_io_H48_read_write/07_unsolvable_co.in diff --git a/test/010_io_H48/07_unsolvable_co.out b/test/010_io_H48_read_write/07_unsolvable_co.out diff --git a/test/010_io_H48/08_unsolved.in b/test/010_io_H48_read_write/08_unsolved.in diff --git a/test/010_io_H48/08_unsolved.out b/test/010_io_H48_read_write/08_unsolved.out diff --git a/test/010_io_H48/io_H48_tests.c b/test/010_io_H48_read_write/io_H48_tests.c diff --git a/test/011_io_SRC/01_solved.in b/test/011_io_SRC_write/01_solved.in diff --git a/test/011_io_SRC/01_solved.out b/test/011_io_SRC_write/01_solved.out diff --git a/test/011_io_SRC_write/02_scrambled.in b/test/011_io_SRC_write/02_scrambled.in @@ -0,0 +1 @@ +FL0 DB0 UB1 FR0 UR0 DF0 UF0 BR1 UL1 BL1 DL0 DR0 DFR1 UFR1 UBR1 UFL2 DBR2 DFL0 DBL2 UBL0 diff --git a/test/011_io_SRC_write/02_scrambled.out b/test/011_io_SRC_write/02_scrambled.out @@ -0,0 +1,4 @@ +{ + .c = {38, 32, 37, 68, 67, 2, 71, 1}, + .e = {9, 2, 17, 8, 4, 3, 0, 27, 21, 26, 6, 7} +} diff --git a/test/011_io_SRC/io_SRC_tests.c b/test/011_io_SRC_write/io_SRC_tests.c diff --git a/utils/FORMAT.txt b/utils/FORMAT.txt @@ -25,7 +25,7 @@ The cube after the moves R'U'F looks like this: FL1 BR0 DB0 UR1 UF0 UB0 DL0 FR0 UL1 DF1 BL0 DR0 UBL1 DBR1 UFR2 DFR2 DFL2 UBL2 UFL2 DBL0 -# SRC - representation of the object in C code (write) +# SRC - representation of the object in C code for cube_array (write) The exact format depends on the internal cube representation. It is guaranteed that, if OUT is the output in this format, the line