aboutsummaryrefslogtreecommitdiff
path: root/src/steps.c (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-11-15Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto1-0/+142
starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
2021-11-12Unimportant fixedSebastiano Tronto1-1/+1
2021-11-11Rewritten from scratch. Welocme nissy 2.0!Sebastiano Tronto1-0/+941

Generated with cgit - Back to sebastiano.tronto.net