| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2025-07-31 | Fixed table name in tools | Sebastiano Tronto | 1 | -5/+3 |
| 2025-05-23 | Do all loggin in main thread | Sebastiano Tronto | 1 | -1/+1 |
| 2025-04-29 | Added stop / pause / resume solve to API | Sebastiano Tronto | 1 | -1/+2 |
| 2025-04-22 | Removed old scripts and updated public API | Sebastiano Tronto | 1 | -1/+1 |
| 2025-04-21 | Always use unsigned char * for data buffers | Sebastiano Tronto | 1 | -1/+1 |
| 2025-04-17 | Restore logging to stderr for tools | Sebastiano Tronto | 1 | -1/+1 |
| 2025-04-15 | Better logging function | Sebastiano Tronto | 1 | -1/+1 |
| 2025-04-08 | Some minor changes to the interface. | Sebastiano Tronto | 1 | -1/+1 |
| 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 |
