aboutsummaryrefslogtreecommitdiff
path: root/tools/301_solve_file/solve_file.c (unfollow)
Commit message (Expand)AuthorFilesLines
2025-11-24Fix duplicate solutions, overflow in maxsols and improve symmetry reduction f...Sebastiano Tronto1-1/+1
2025-07-31Fixed table name in toolsSebastiano Tronto1-4/+4
2025-06-19Added benchmarks for all solutionsSebastiano Tronto1-1/+1
2025-06-19Small fixesSebastiano Tronto1-0/+2
2025-06-17Adapted solve tool to find multiple solutionsSebastiano Tronto1-7/+16
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
2025-04-17Restore logging to stderr for toolsSebastiano Tronto1-1/+1
2025-04-15Better logging functionSebastiano Tronto1-1/+1
2025-04-08Some minor changes to the interface.Sebastiano Tronto1-1/+1
2025-03-14Replaced datasize with solverinfoSebastiano Tronto1-2/+2
2025-03-12Revert "Temporary fix for tools"Sebastiano Tronto1-1/+1
2025-03-09Temporary fix for toolsSebastiano Tronto1-1/+1
2024-12-14Allow choosing number of threads when calling solve()Sebastiano Tronto1-1/+1
2024-12-07Merge the "solver-experiments" branch that I have been working on forSebastiano Tronto1-27/+26
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
2024-10-06Tiny optimization for moves (avoid unnecessary CO)Sebastiano Tronto1-1/+1
2024-10-04Clean up tool outputSebastiano Tronto1-2/+1
2024-09-26Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto1-0/+0
2024-09-26Fixed solutions vector, added constantsenricotenuti1-0/+2
2024-09-18Renamed tools; fixed solve tool; added gendata_h48h1k2 toolSebastiano Tronto1-0/+0
2024-09-11Finished table refactorSebastiano Tronto1-7/+9
2024-08-30Added tool for checking new tables (and they are wrong)Sebastiano Tronto1-0/+0
2024-08-29Refactor tools to remove duplicate codeSebastiano Tronto1-49/+6
2024-08-27New tool for benchmarking small solverSebastiano Tronto1-0/+94

Generated with cgit - Back to sebastiano.tronto.net