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