aboutsummaryrefslogtreecommitdiff
path: root/tools/nissy_extra.h (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-10-14Interface changes, progress with pythonSebastiano Tronto1-2/+3
2024-10-13Removed nissy_explainerror and moved datainfo to toolsSebastiano Tronto1-0/+1
2024-10-10Improved error messages and add some comments in nissy.hSebastiano Tronto1-0/+1
2024-10-10Removed "options" from solver selectionSebastiano Tronto1-1/+1
Now the solver name fully determines the solver (and options) to be used. For example, now one must specify "h48h0k4" as the name of the solver. This PR also fixes a couple of things in tools.
2024-10-05Added distribution check to toolSebastiano Tronto1-0/+5
2024-09-27First try for derive tablesSebastiano Tronto1-0/+6
2024-09-26Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto1-0/+3

Generated with cgit - Back to sebastiano.tronto.net