aboutsummaryrefslogtreecommitdiff
path: root/tools/301_solve_file (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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