aboutsummaryrefslogtreecommitdiff
path: root/tools/302_solve_multisol (unfollow)
Commit message (Expand)AuthorFilesLines
2025-07-31Fixed table name in toolsSebastiano Tronto1-5/+3
2025-05-23Do all loggin in main threadSebastiano Tronto1-1/+1
2025-04-29Added stop / pause / resume solve to APISebastiano Tronto1-1/+2
2025-04-22Removed old scripts and updated public APISebastiano Tronto1-1/+1
2025-04-21Always use unsigned char * for data buffersSebastiano Tronto1-1/+1
2025-04-17Restore logging to stderr for toolsSebastiano Tronto1-1/+1
2025-04-15Better logging functionSebastiano Tronto1-1/+1
2025-04-08Some minor changes to the interface.Sebastiano Tronto1-1/+1
2025-03-14Replaced datasize with solverinfoSebastiano Tronto1-2/+2
2025-03-12Revert "Temporary fix for tools"Sebastiano Tronto1-1/+1
2025-03-09Temporary fix for toolsSebastiano Tronto1-1/+1
2024-12-14Allow choosing number of threads when calling solve()Sebastiano Tronto1-1/+1
2024-12-07Merge the "solver-experiments" branch that I have been working on forSebastiano Tronto1-0/+66

Generated with cgit - Back to sebastiano.tronto.net