| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
