aboutsummaryrefslogtreecommitdiff
path: root/tools/302_solve_multisol (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fixed table name in toolsSebastiano Tronto2025-07-311-5/+3
* Do all loggin in main threadSebastiano Tronto2025-05-231-1/+1
* 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/+66

Generated with cgit - Back to sebastiano.tronto.net