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

Generated with cgit - Back to sebastiano.tronto.net