aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small (follow)
Commit message (Expand)AuthorAgeFilesLines
* Temporary fix for toolsSebastiano Tronto2025-03-091-1/+1
* Allow choosing number of threads when calling solve()Sebastiano Tronto2024-12-141-1/+1
* Add node and fallback benchmarkingSebastiano Tronto2024-10-181-5/+13
* Fallback tablesSebastiano Tronto2024-10-141-2/+2
* Fix solvers for k = 2, and changes to solve toolSebastiano Tronto2024-10-141-4/+12
* Interface changes, progress with pythonSebastiano Tronto2024-10-141-1/+2
* Added buffer sizes in API argsSebastiano Tronto2024-10-111-11/+13
* Removed "options" from solver selectionSebastiano Tronto2024-10-101-5/+6
* Tiny optimization for moves (avoid unnecessary CO)Sebastiano Tronto2024-10-061-1/+1
* Clean up tool outputSebastiano Tronto2024-10-041-2/+1
* Merge remote-tracking branch 'upstream/master'enricotenuti2024-09-291-2/+2
* Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-261-0/+53

Generated with cgit - Back to sebastiano.tronto.net