diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-19 15:59:35 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-19 15:59:35 +0100 |
| commit | b7bb88cd6eb2a8c8e3f26e276ab849d52168668a (patch) | |
| tree | d2b3ad12116ec10539e702087fce0dc2b9e8f546 /src/utils/dbg_log.h | |
| parent | de04d37e8520079f5bba3b1a87d42313297543db (diff) | |
| download | nissy-core-b7bb88cd6eb2a8c8e3f26e276ab849d52168668a.tar.gz nissy-core-b7bb88cd6eb2a8c8e3f26e276ab849d52168668a.zip | |
Minor improvement
Add a trivial check to H48 solver. The benchmarks show, surprisingly,
a more noticeable improvement for larger solvers (h10, h11). I was expecting
it to be more noticeable for smaller solvers.
It is likely that this change is irrelevant to performance and all changes
in the benchmark results are just random chance.
Diffstat (limited to 'src/utils/dbg_log.h')
0 files changed, 0 insertions, 0 deletions