aboutsummaryrefslogtreecommitdiff
path: root/tools/301_solve_file/solve_file.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix duplicate solutions, overflow in maxsols and improve symmetry reduction f...Sebastiano Tronto2025-11-241-1/+1
* Fixed table name in toolsSebastiano Tronto2025-07-311-4/+4
* Added benchmarks for all solutionsSebastiano Tronto2025-06-191-1/+1
* Small fixesSebastiano Tronto2025-06-191-0/+2
* Adapted solve tool to find multiple solutionsSebastiano Tronto2025-06-171-7/+16
* 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
* Restore logging to stderr for toolsSebastiano Tronto2025-04-171-1/+1
* Better logging functionSebastiano Tronto2025-04-151-1/+1
* Some minor changes to the interface.Sebastiano Tronto2025-04-081-1/+1
* Replaced datasize with solverinfoSebastiano Tronto2025-03-141-2/+2
* Revert "Temporary fix for tools"Sebastiano Tronto2025-03-121-1/+1
* Temporary fix for toolsSebastiano Tronto2025-03-091-1/+1
* Allow choosing number of threads when calling solve()Sebastiano Tronto2024-12-141-1/+1
* Merge the "solver-experiments" branch that I have been working on forSebastiano Tronto2024-12-071-0/+71

Generated with cgit - Back to sebastiano.tronto.net