From c2275e4b9625a1a19eb50d0880f70ed583d5c358 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 8 Jul 2024 19:22:16 +0200 Subject: Stats for h48 solver as tool --- TODO.txt | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'TODO.txt') diff --git a/TODO.txt b/TODO.txt index acfeeb5..ac989c8 100644 --- a/TODO.txt +++ b/TODO.txt @@ -1,7 +1,5 @@ Check stats for all tables using H48stats solver - - optional: dr states (includes "fix" option) - - implement tool for stats - - output to file, only write cocsep to stdout + - what now? Bug in esep table generation - Fails for UFRUFU, try command @@ -18,8 +16,9 @@ Bug in esep table generation Solver - cleanup h48 solver - - do not copy dfsarg, change and undo - - implement and use premove (and test) instead of inverting + - do not copy dfsarg, change and undo + - implement and use premove (and test) instead of inverting + - improve name of tables file in shell.c (include h value, maybe k, max) - benchmark for solve table generation, where to keep tables? in benchmark folder or in tables/? - more tricks for solver, optimize, try larger tables -- cgit v1.3