| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2025-04-15 | Better logging function | Sebastiano Tronto | 1 | -2/+2 | |
| Now it is possible to provide some data together with the logging function. This is useful for example in C++, where I can now provide an arbitrary callable object as data, and a simple wrapper function that call the callable object as logging function. | |||||
| 2025-04-08 | Some minor changes to the interface. | Sebastiano Tronto | 1 | -8/+4 | |
| - Simplified logger to accept only a string, not a variadic list of args like printf(). This can still use some improvement, but now it is easier to use from other languages. - Fixed some misuses of the logger (wrong types etc) - Renamed some constants - Fixed some typos in comments. | |||||
| 2025-03-14 | Replaced datasize with solverinfo | Sebastiano Tronto | 1 | -10/+16 | |
| 2025-03-12 | Revert API change | Sebastiano Tronto | 1 | -8/+6 | |
| 2025-03-09 | Fixed python module | Sebastiano Tronto | 1 | -6/+8 | |
| 2024-12-14 | Allow choosing number of threads when calling solve() | Sebastiano Tronto | 1 | -5/+7 | |
| 2024-10-19 | Finished Python module | Sebastiano Tronto | 1 | -10/+248 | |
| 2024-10-18 | Add node and fallback benchmarking | Sebastiano Tronto | 1 | -1/+1 | |
| 2024-10-14 | Interface changes, progress with python | Sebastiano Tronto | 1 | -12/+179 | |
| 2024-10-12 | Initial support for Python | Sebastiano Tronto | 1 | -0/+34 | |
