| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2025-03-14 | Replaced datasize with solverinfo | Sebastiano Tronto | 1 | -2/+2 |
| 2025-03-12 | Revert "Temporary fix for tools" | Sebastiano Tronto | 1 | -1/+1 |
| 2025-03-09 | Temporary fix for tools | Sebastiano Tronto | 1 | -1/+1 |
| 2024-12-14 | Allow choosing number of threads when calling solve() | Sebastiano Tronto | 1 | -1/+1 |
| 2024-12-07 | Merge the "solver-experiments" branch that I have been working on for | Sebastiano Tronto | 1 | -0/+66 |
