nissy-core/src/solvers/h48/gendata_h48.h, branch c-portabilityThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=c-portability2026-04-06T13:48:54ZFix integer conversions in code, tests and some tools2026-04-06T13:48:54ZSebastiano Trontosebastiano@tronto.net2026-04-06T13:48:54Zurn:sha1:a1ad0db8a6d829eddf1478cee44ae976bbcd325fUse macro for [static N]2026-04-04T10:02:56ZSebastiano Trontosebastiano@tronto.net2026-04-04T10:02:56Zurn:sha1:e6be287bbfa6beda038ec8b085300c5dc9c2ecd8Improve 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 pruning value fetching and re-do benchmarks2025-12-17T15:15:02ZSebastiano Trontosebastiano@tronto.net2025-12-17T09:51:34Zurn:sha1:ac3a91f4f173e7a38c70d5cd0caf5a025642312bSwap bit pairs in pval_min2025-12-15T23:29:03ZSebastiano Trontosebastiano@tronto.net2025-12-15T23:29:03Zurn:sha1:eed4de7f91d1013a842161f8e36c809d78573c4cUpdate comments2025-12-14T18:38:34ZSebastiano Trontosebastiano@tronto.net2025-12-14T18:35:57Zurn:sha1:af6e9af26e0f547b41fc85f1cce07040cb3dbc87Cleanup, update documentation, fix examples2025-12-14T15:09:31ZSebastiano Trontosebastiano@tronto.net2025-12-14T14:12:36Zurn:sha1:bcd52547af58b15868e24f3904e307548d1fd505Bye bye h0k42025-12-14T11:23:33ZSebastiano Trontosebastiano@tronto.net2025-12-14T11:20:37Zurn:sha1:21fdf9697ddfab0a9c082a91ae0a79b1b574774cIntertwined table seems to work2025-12-14T09:26:34ZSebastiano Trontosebastiano@tronto.net2025-12-13T18:16:32Zurn:sha1:b25989e47adfadabcf0dabfd58d615622887cee0Wrapped pthread use in custom API2025-08-11T09:48:40ZSebastiano Trontosebastiano@tronto.net2025-08-11T08:22:56Zurn:sha1:d25f23805c6d7128b508a359d47af136dd2fd0db