| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2021-11-15 | Load all necessary pruning tables for a step before the actual solving process | Sebastiano Tronto | 1 | -20/+9 | |
| starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time). | |||||
| 2021-11-11 | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 1 | -0/+173 | |
