| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Allow choosing number of threads when calling solve() | Sebastiano Tronto | 2024-12-14 | 1 | -1/+1 |
| * | Add node and fallback benchmarking | Sebastiano Tronto | 2024-10-18 | 1 | -5/+13 |
| * | Fallback tables | Sebastiano Tronto | 2024-10-14 | 1 | -2/+2 |
| * | Fix solvers for k = 2, and changes to solve tool | Sebastiano Tronto | 2024-10-14 | 1 | -4/+12 |
| * | Interface changes, progress with python | Sebastiano Tronto | 2024-10-14 | 1 | -1/+2 |
| * | Added buffer sizes in API args | Sebastiano Tronto | 2024-10-11 | 1 | -11/+13 |
| * | Removed "options" from solver selection | Sebastiano Tronto | 2024-10-10 | 1 | -5/+6 |
| * | Tiny optimization for moves (avoid unnecessary CO) | Sebastiano Tronto | 2024-10-06 | 1 | -1/+1 |
| * | Clean up tool output | Sebastiano Tronto | 2024-10-04 | 1 | -2/+1 |
| * | Merge remote-tracking branch 'upstream/master' | enricotenuti | 2024-09-29 | 1 | -2/+2 |
| * | Added TOOLARGS and simplified gendata tool(s) | Sebastiano Tronto | 2024-09-26 | 1 | -0/+53 |
