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

Generated with cgit - Back to sebastiano.tronto.net