nissy-core/src, branch v0.3The "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=v0.32026-03-01T17:19:04ZImprove solver name check2026-03-01T17:19:04ZSebastiano Trontosebastiano@tronto.net2026-03-01T17:19:04Zurn:sha1:895a8ec484ead49ab243772895b24b787e94ef0eImprove Windows build support.2026-03-01T17:09:44ZSebastiano Trontosebastiano@tronto.net2026-03-01T17:09:44Zurn:sha1:2c291aed4bb80f07e8557284d3399cf1e2a4ccb9
- Use multithreading (works with a sufficiently recent version of
the Microsoft developer tools / C SDK).
- Detect CPU architecture and use AVX2 or NEON when appropriate.
- Automatically detect python installation path.
Improve performance of H48 solver with prefetching2026-01-12T17:09:43ZSebastiano Trontosebastiano@tronto.net2026-01-12T17:09:43Zurn:sha1:9a013b7c68f94e6be0fe8748c9012a441fe0273f
With this commit we re-structure how the node expansion in the
H48 solution search works to allow prefetching of pruning values,
showing performance improvements in the range of 30-45% on x86,
depending on table size and solution length.
A small bug fix related to appending solutions is included in this commit.
Added cornersx solver2025-12-23T10:53:57ZSebastiano Trontosebastiano@tronto.net2025-12-23T10:53:57Zurn:sha1:83f6533c384a617181e818d1941b08e40aa40b7dMinor improvement2025-12-19T14:59:35ZSebastiano Trontosebastiano@tronto.net2025-12-19T14:59:35Zurn:sha1:b7bb88cd6eb2a8c8e3f26e276ab849d52168668a
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.
Add coordinate solvers for corners2025-12-19T06:32:09ZSebastiano Trontosebastiano@tronto.net2025-12-19T06:32:09Zurn:sha1:de04d37e8520079f5bba3b1a87d42313297543dbFix alignment2025-12-17T16:36:16ZSebastiano Trontosebastiano@tronto.net2025-12-17T16:36:16Zurn:sha1:ec9593e2ff0856d78b37df3a977a753be82bfddcImprove pruning value fetching and re-do benchmarks2025-12-17T15:15:02ZSebastiano Trontosebastiano@tronto.net2025-12-17T09:51:34Zurn:sha1:ac3a91f4f173e7a38c70d5cd0caf5a025642312bMove some checks around, small improvement2025-12-17T06:58:32ZSebastiano Trontosebastiano@tronto.net2025-12-17T06:58:32Zurn:sha1:ad9c99d0274b09b152007332cef589f5e649080aSwap bit pairs in pval_min2025-12-15T23:29:03ZSebastiano Trontosebastiano@tronto.net2025-12-15T23:29:03Zurn:sha1:eed4de7f91d1013a842161f8e36c809d78573c4c