| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Do all loggin in main thread | Sebastiano Tronto | 2025-05-23 | 1 | -1/+1 |
| * | Added stop / pause / resume solve to API | Sebastiano Tronto | 2025-04-29 | 1 | -1/+2 |
| * | Removed old scripts and updated public API | Sebastiano Tronto | 2025-04-22 | 1 | -1/+1 |
| * | Always use unsigned char * for data buffers | Sebastiano Tronto | 2025-04-21 | 1 | -1/+1 |
| * | Restore logging to stderr for tools | Sebastiano Tronto | 2025-04-17 | 1 | -1/+1 |
| * | Better logging function | Sebastiano Tronto | 2025-04-15 | 1 | -1/+1 |
| * | Some minor changes to the interface. | Sebastiano Tronto | 2025-04-08 | 1 | -1/+1 |
| * | Replaced datasize with solverinfo | Sebastiano Tronto | 2025-03-14 | 1 | -2/+2 |
| * | Revert "Temporary fix for tools" | Sebastiano Tronto | 2025-03-12 | 1 | -1/+1 |
| * | Temporary fix for tools | Sebastiano Tronto | 2025-03-09 | 1 | -1/+1 |
| * | Allow choosing number of threads when calling solve() | Sebastiano Tronto | 2024-12-14 | 1 | -1/+1 |
| * | Merge the "solver-experiments" branch that I have been working on for | Sebastiano Tronto | 2024-12-07 | 1 | -0/+66 |
