| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Removed some code preparing for moving optimal solver away from general coord... | Sebastiano Tronto | 2022-09-06 | 1 | -1/+1 |
| * | Symcoord version of nissy. Interesting idea, but performance are | Sebastiano Tronto | 2022-09-06 | 1 | -2/+2 |
| * | Added two-phase solver | Sebastiano Tronto | 2021-12-26 | 1 | -0/+1 |
| * | Load all necessary pruning tables for a step before the actual solving process | Sebastiano Tronto | 2021-11-15 | 1 | -0/+1 |
| * | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 2021-11-11 | 1 | -0/+9 |
