| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2021-11-17 | Use inttypes.h macros to print uint64_t variables (this requires -std=c99). A... | Sebastiano Tronto | 1 | -1/+1 |
| 2021-11-15 | Load all necessary pruning tables for a step before the actual solving process | Sebastiano Tronto | 1 | -0/+2 |
| 2021-11-12 | I tried to remove the dependence on antindex in order to get rid of them | Sebastiano Tronto | 1 | -0/+1 |
| 2021-11-11 | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 1 | -0/+286 |
