aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Sebastiano Tronto2021-12-081-8/+8
| | | | multithreading.
* 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 ↵Sebastiano Tronto2021-12-031-121/+116
| | | | want to throw it away and it makes sense to keep it in this file for quick lookup.
* 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). ↵Sebastiano Tronto2021-11-171-9/+7
| | | | Added a couple of TODOs
* Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto2021-11-151-1/+6
| | | | | starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
* Fixed a problem with htr-drud coordinates. The corresponding pruning table ↵Sebastiano Tronto2021-11-131-0/+1
| | | | also changed, hopefully the new one is correct.
* I tried to remove the dependence on antindex in order to get rid of themSebastiano Tronto2021-11-121-21/+136
| | | | | | | once and for all. I successfully removed from the pruning table generation part by using an alternative (slower) method, but then I realized that I also use antindexes when generating symmetry data. So I reverted to the original pruning table computation method, but I left the alternative way there, commented.
* 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