aboutsummaryrefslogtreecommitdiff
path: root/src/solve.h (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Added two-phase solverSebastiano Tronto2021-12-261-0/+1
|
* Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto2021-11-151-0/+1
| | | | | 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/+9

Generated with cgit - Back to sebastiano.tronto.net