aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small/solve_small.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fixed table name in toolsSebastiano Tronto2025-07-311-5/+3
|
* Added stop / pause / resume solve to APISebastiano Tronto2025-04-291-1/+2
|
* Removed old scripts and updated public APISebastiano Tronto2025-04-221-1/+1
|
* Always use unsigned char * for data buffersSebastiano Tronto2025-04-211-1/+1
| | | | | Before this commit I was inconsistently using one of void *, char * and uint8_t *.
* Restore logging to stderr for toolsSebastiano Tronto2025-04-171-1/+1
|
* Better logging functionSebastiano Tronto2025-04-151-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.
* Some minor changes to the interface.Sebastiano Tronto2025-04-081-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.
* Replaced datasize with solverinfoSebastiano Tronto2025-03-141-2/+2
|
* Revert "Temporary fix for tools"Sebastiano Tronto2025-03-121-1/+1
| | | | This reverts commit 4d0e55e9def2ba1eaca5b2289ca5b30e951f4d97.
* 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
| | | | | | | | 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