From 87de946c47b3b5ef0fb0c5f2289bb033bc8d9038 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 14 Oct 2024 16:55:15 +0200 Subject: Fix solvers for k = 2, and changes to solve tool --- tools/300_solve_small/solve_small.c | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) (limited to 'tools') diff --git a/tools/300_solve_small/solve_small.c b/tools/300_solve_small/solve_small.c index 622c36e..374d11a 100644 --- a/tools/300_solve_small/solve_small.c +++ b/tools/300_solve_small/solve_small.c @@ -2,13 +2,13 @@ #define SOL_BUFFER_LEN 1000 -const char *solver = "h48h0k4"; +char *solver; int64_t size = 0; char *buf; char *scrambles[] = { - "R D' R2 D R U2 R' D' R U2 R D R'", /* 12 optimal */ - "RLUD RLUD RLUD", /* 12 optimal */ + //"R D' R2 D R U2 R' D' R U2 R D R'", /* 12 optimal */ + //"RLUD RLUD RLUD", /* 12 optimal */ "R' U' F D2 L2 F R2 U2 R2 B D2 L B2 D' B2 L' R' B D2 B U2 L U2 R' U' F", /* FMC2019 A1 - 16 optimal */ // "R' U' F D R F2 D L F D2 F2 L' U R' L2 D' R2 F2 R2 D L2 U2 R' U' F", /* FMC2024 A1 - 19 optimal */ NULL @@ -37,12 +37,20 @@ void run(void) { } } -int main(void) { +int main(int argc, char **argv) { char filename[255]; + if (argc < 2) { + printf("Error: not enough arguments. " + "A solver must be given.\n"); + return 1; + } + + solver = argv[1]; srand(time(NULL)); nissy_setlogger(log_stderr); + sprintf(filename, "tables/%s", solver); if (getdata(solver, &buf, filename) != 0) return 1; -- cgit v1.3