| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | use nxopt31 (compressed) by default for optimal solving | Sebastiano Tronto | 2021-12-24 | 1 | -6/+0 |
| * | Fixes for yesterday's commit | Sebastiano Tronto | 2021-12-23 | 1 | -0/+6 |
| * | Better output in batch mode | Sebastiano Tronto | 2021-12-14 | 1 | -5/+14 |
| * | Added batch mode | Sebastiano Tronto | 2021-12-10 | 1 | -9/+17 |
| * | Fixing the fix (the previous commit introduced a bug when the step was not sp... | Sebastiano Tronto | 2021-11-26 | 1 | -1/+1 |
| * | Fix typo in welcome message | Sebastiano Tronto | 2021-11-20 | 1 | -2/+3 |
| * | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 2021-11-11 | 1 | -0/+93 |
