aboutsummaryrefslogtreecommitdiff
path: root/tools/301_solve_file (unfollow)
Commit message (Expand)AuthorFilesLines
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/+71

Generated with cgit - Back to sebastiano.tronto.net