| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2024-10-12 | Make gendata and co safer by checking buffer size | Sebastiano Tronto | 1 | -1/+1 | |
| 2024-10-11 | Added buffer sizes in API args | Sebastiano Tronto | 1 | -3/+3 | |
| 2024-10-10 | Removed "options" from solver selection | Sebastiano Tronto | 1 | -8/+15 | |
| 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-05 | Added distribution check to tool | Sebastiano Tronto | 1 | -5/+5 | |
| 2024-10-04 | Clean up tool output | Sebastiano Tronto | 1 | -4/+1 | |
| 2024-09-26 | Added checkdata tool | Sebastiano Tronto | 1 | -27/+2 | |
| 2024-09-26 | Added checkdata function | Sebastiano Tronto | 1 | -0/+80 | |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net