aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | | | | 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.
* Tiny optimization for moves (avoid unnecessary CO)Sebastiano Tronto2024-10-061-1/+1
| | | | This is like 1% improvement to solver, but it is easy enough so I'll keep it
* Clean up tool outputSebastiano Tronto2024-10-041-2/+1
|
* Merge remote-tracking branch 'upstream/master'enricotenuti2024-09-291-2/+2
| | | | Merge upstream
* Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-261-0/+53

Generated with cgit - Back to sebastiano.tronto.net