| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Symcoord version of nissy. Interesting idea, but performance are | Sebastiano Tronto | 2022-09-06 | 1 | -2/+2 |
| | | | | | actually slower. AT THIS STAGE NISSY IS NOT USABLE. | ||||
| * | 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 |
| | | | | | | starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time). | ||||
| * | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 2021-11-11 | 1 | -0/+9 |
 |
index : nissy | |
| Where is nissy? |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net