aboutsummaryrefslogtreecommitdiff
path: root/src/solve.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto2021-11-151-20/+9
| | | | | 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/+173

Generated with cgit - Back to sebastiano.tronto.net