aboutsummaryrefslogtreecommitdiff
path: root/python/examples/solve.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Small rework of optimal vs maxsolsSebastiano Tronto2025-04-171-1/+1
| | | | | | | | | | | | | | I wanted to make the "optimal" and "maxsolutions" options mutually exclusive, but in the end I decided there is value in keeping both (e.g. for specifying a limit to the number of solutions when asking for "all" optimal"). Now optimal cannot be negative anymore, for the same reason of maxsolutions. The interface user (shell, UI) will have to take care of handling this in a way that makes sense for the user. Usually this means setting the maximum number of solutions to UINT_MAX (or a similar very high number) when the user wants "all optimal".
* Improved C++ API and added info to READMESebastiano Tronto2025-04-141-0/+37

Generated with cgit - Back to sebastiano.tronto.net