aboutsummaryrefslogtreecommitdiff
path: root/src/solve.c (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-20Multithreading seems to be working now, it was easier than expected!Sebastiano Tronto1-23/+170
2021-11-15Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto1-20/+9
2021-11-11Rewritten from scratch. Welocme nissy 2.0!Sebastiano Tronto1-0/+173

Generated with cgit - Back to sebastiano.tronto.net