diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-23 00:31:12 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-23 00:31:12 +0100 |
| commit | 4dddac9e257433a8e2f5f763d91470a7e05ff680 (patch) | |
| tree | b6f01defc37373ceabd216146262969b6958e7ed /src/solve.h | |
| parent | 9d3c52efd1115e3d01869f729f274027813422c3 (diff) | |
| download | nissy-4dddac9e257433a8e2f5f763d91470a7e05ff680.tar.gz nissy-4dddac9e257433a8e2f5f763d91470a7e05ff680.zip | |
Added the possibility to compress tables to 2 bits per entry.
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.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions