aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-07-31Fixed table name in toolsSebastiano Tronto1-5/+3
2025-04-29Added stop / pause / resume solve to APISebastiano Tronto1-1/+2
2025-04-22Removed old scripts and updated public APISebastiano Tronto1-1/+1
2025-04-21Always use unsigned char * for data buffersSebastiano Tronto1-1/+1
Before this commit I was inconsistently using one of void *, char * and uint8_t *.
2025-04-17Restore logging to stderr for toolsSebastiano Tronto1-1/+1
2025-04-15Better logging functionSebastiano Tronto1-1/+1
Now it is possible to provide some data together with the logging function. This is useful for example in C++, where I can now provide an arbitrary callable object as data, and a simple wrapper function that call the callable object as logging function.
2025-04-08Some minor changes to the interface.Sebastiano Tronto1-1/+1
- Simplified logger to accept only a string, not a variadic list of args like printf(). This can still use some improvement, but now it is easier to use from other languages. - Fixed some misuses of the logger (wrong types etc) - Renamed some constants - Fixed some typos in comments.
2025-03-14Replaced datasize with solverinfoSebastiano Tronto1-2/+2
2025-03-12Revert "Temporary fix for tools"Sebastiano Tronto1-1/+1
This reverts commit 4d0e55e9def2ba1eaca5b2289ca5b30e951f4d97.
2025-03-09Temporary fix for toolsSebastiano Tronto1-1/+1
2024-12-14Allow choosing number of threads when calling solve()Sebastiano Tronto1-1/+1
2024-10-18Add node and fallback benchmarkingSebastiano Tronto1-5/+13
2024-10-14Fallback tablesSebastiano Tronto1-2/+2
2024-10-14Fix solvers for k = 2, and changes to solve toolSebastiano Tronto1-4/+12
2024-10-14Interface changes, progress with pythonSebastiano Tronto1-1/+2
2024-10-11Added buffer sizes in API argsSebastiano Tronto1-11/+13
2024-10-10Removed "options" from solver selectionSebastiano Tronto1-5/+6
Now the solver name fully determines the solver (and options) to be used. For example, now one must specify "h48h0k4" as the name of the solver. This PR also fixes a couple of things in tools.
2024-10-06Tiny optimization for moves (avoid unnecessary CO)Sebastiano Tronto1-1/+1
This is like 1% improvement to solver, but it is easy enough so I'll keep it
2024-10-04Clean up tool outputSebastiano Tronto1-2/+1
2024-09-26Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto1-0/+53

Generated with cgit - Back to sebastiano.tronto.net