aboutsummaryrefslogtreecommitdiff
path: root/tools/200_stats_tables_h48 (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add node and fallback benchmarkingSebastiano Tronto2024-10-181-2/+2
|
* Interface changes, progress with pythonSebastiano Tronto2024-10-141-8/+8
|
* Added buffer sizes in API argsSebastiano Tronto2024-10-111-4/+8
|
* Removed "options" from solver selectionSebastiano Tronto2024-10-101-8/+22
| | | | | | | | 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.
* Clean up tool outputSebastiano Tronto2024-10-041-1/+1
|
* Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-261-0/+99

Generated with cgit - Back to sebastiano.tronto.net