aboutsummaryrefslogtreecommitdiff
path: root/src/steps.h (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto2021-11-151-0/+2
| | | | | 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 Tronto2021-11-111-0/+10

Generated with cgit - Back to sebastiano.tronto.net