aboutsummaryrefslogtreecommitdiff
path: root/python (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-04-08Some minor changes to the interface.Sebastiano Tronto1-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-14Replaced datasize with solverinfoSebastiano Tronto1-10/+16
2025-03-12Revert API changeSebastiano Tronto1-8/+6
2025-03-09Fixed python moduleSebastiano Tronto1-6/+8
2024-12-14Allow choosing number of threads when calling solve()Sebastiano Tronto2-6/+8
2024-10-19Finished Python moduleSebastiano Tronto2-10/+285
2024-10-18Add node and fallback benchmarkingSebastiano Tronto1-1/+1
2024-10-14Interface changes, progress with pythonSebastiano Tronto1-12/+179
2024-10-12Initial support for PythonSebastiano Tronto1-0/+34

Generated with cgit - Back to sebastiano.tronto.net