aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.c (unfollow)
Commit message (Expand)AuthorFilesLines
2021-12-16Added a new pruning table (equivalent to nxopt31). I have not tested it yet, ...Sebastiano Tronto1-43/+52
2021-12-10Added gen command and modified installation instructions for tablesSebastiano Tronto1-0/+15
2021-12-09Fixed genptable for small tables and tables that do not use symmetrySebastiano Tronto1-1/+5
2021-12-09Multi-threaded pruning table generation - now it's actually fast :)Sebastiano Tronto1-30/+106
2021-12-08Just refortmatting and added one typeSebastiano Tronto1-18/+26
2021-12-08CleanupSebastiano Tronto1-176/+0
2021-12-08Faster and nice pruning table generation. Can still be improved with multithr...Sebastiano Tronto1-8/+8
2021-12-08Faster ptable generation (but I can make it faster)Sebastiano Tronto1-9/+45
2021-12-07Expanded on previous comment: now it contains an idea of solutionSebastiano Tronto1-0/+19
2021-12-07Just added a commentSebastiano Tronto1-0/+8
2021-12-03Moved a bunch of commented code to the bottom of the file. I still don't want...Sebastiano Tronto1-121/+116
2021-11-20Multithreading seems to be working now, it was easier than expected!Sebastiano Tronto1-2/+8
2021-11-17Use inttypes.h macros to print uint64_t variables (this requires -std=c99). A...Sebastiano Tronto1-9/+7
2021-11-15Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto1-1/+6
2021-11-13Fixed a problem with htr-drud coordinates. The corresponding pruning table al...Sebastiano Tronto1-0/+1
2021-11-12I tried to remove the dependence on antindex in order to get rid of themSebastiano Tronto1-21/+136
2021-11-12Unimportant fixedSebastiano Tronto1-0/+3
2021-11-11Rewritten from scratch. Welocme nissy 2.0!Sebastiano Tronto1-0/+271

Generated with cgit - Back to sebastiano.tronto.net