aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Removed some unused code (khuge). Improved optimal solver performance by ↵Sebastiano Tronto2022-02-271-10/+0
| | | | about 10% using raw transition tables (same for dr step).
* Removed array-size constants for certain objects (steps, commands...)Sebastiano Tronto2022-02-271-1/+2
|
* use nxopt31 (compressed) by default for optimal solvingSebastiano Tronto2021-12-241-4/+11
|
* Fixes for yesterday's commitSebastiano Tronto2021-12-231-10/+20
|
* Added the possibility to compress tables to 2 bits per entry.Sebastiano Tronto2021-12-231-29/+99
| | | | | | | | | | | | This is done similarly to nxopt: one base value is selected and entries are memorized based on that base value. Values higher than base+3 are returned as base+3 (still a valid estimate) and values lower or equal to base require a lookup on a "fallback" table, which must give a valid estimate for the larger one (e.g. nxopt31 or khuge can fallback to drud_sym16). I have also added some info to the pruning table files: base value and distribution. Unfortunately this means that everyone who has used nissy 2.0beta has to re-generate the tables.
* Added a new pruning table (equivalent to nxopt31). I have not tested it yet, ↵Sebastiano Tronto2021-12-161-43/+52
| | | | | | | it takes a while to generate. Plus I have done a whole lot of refactoring in random places because I cannot focus on one thing at the time.
* 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 ↵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