From 3c9efb490ccbe1b0d7768d77fcdcac012c00e8c6 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 30 Jun 2024 12:44:47 +0200 Subject: Added a solver, but found out h48 table is broken --- TODO.txt | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'TODO.txt') diff --git a/TODO.txt b/TODO.txt index befedff..6f212c3 100644 --- a/TODO.txt +++ b/TODO.txt @@ -1,8 +1,16 @@ Solver - - write a solver (how many tricks? some, but not all are needed) + - fix and cleanup current implementation + - fails for UFRUFU when using full table + SOMETHING IS WRONG FOR coord_h48 = 3! (pvalue 15??) + - do not copy dfsarg, change and undo + - implement and use premove (and test) instead of inverting - benchmark for solve table generation, where to keep tables? in benchmark folder or in tables/? + - more tricks for solver, optimize, try larger tables - remove solve_simple and maybe the whole solve_generic + - shell: silently accept other formats too? + - shell: allow generating multiple tables for different options + - gendata: move info at start of tables? Cleanup cube_public and interface - remove options, use only solver name @@ -17,6 +25,8 @@ Goal: find out which k value is best Improvements - check hash of generated data + - use interleaved tables (e.g. big table with k=2 or k=1 and interleaved + small table with k=4 for better backup pruning) ## H48 optimal solver (some has already been implemented) -- cgit v1.3