aboutsummaryrefslogtreecommitdiff
path: root/src/solve.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* Just refortmatting and added one typeSebastiano Tronto2021-12-081-3/+3
* Little performance improvement in optimal solver - more to come!Sebastiano Tronto2021-12-071-52/+73
* Multithreading seems to be working now, it was easier than expected!Sebastiano Tronto2021-11-201-23/+170
* Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto2021-11-151-20/+9
* Rewritten from scratch. Welocme nissy 2.0!Sebastiano Tronto2021-11-111-0/+173

Generated with cgit - Back to sebastiano.tronto.net