nissy-core/src/solvers/coord/solve.h, branch masterThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=master2026-04-06T13:55:33ZMake the project build with Microsoft's broken C compiler.2026-04-06T13:55:33ZSebastiano Trontosebastiano@tronto.net2026-04-06T13:55:33Zurn:sha1:fc41f7917531693680b5baf71ffe38c47333fe84
MSVC is not fully C11-compliant, even when compiling with /std:c11.
Some changes were needed to make the codebase compatible. Notably, the
notation a[static N] and a[n] for function parameters of array type is
not supported, so that had to be hidden behind a macro. Atomic types
are also an experimental feature, apparently, but at least they work
with the correct compiler flag.
One thing that MSVC does well, however, is warning on integer conversions
on /W4 level. I am not sure if Clang and GCC have something similar,
so I took this chance to fix some of these.
Fix duplicate solutions, overflow in maxsols and improve symmetry reduction for H48.2025-11-24T15:32:11ZSebastiano Trontosebastiano@tronto.net2025-11-23T15:16:31Zurn:sha1:147b0c3c4615c32478a4923242909b8ae5a30d03
This commit fixes two bugs:
- A bug that caused duplicates solutions for symmetric scrambles.
- An overflow in the maxsols parameter for the H48 solver, which
caused it to find much fewer solutions than existed.
Moreover, the H48 solvers has been improved by reducing by symmetry not
only from the starting position, but also up to the first 4 moves.
Added HTR solver2025-08-06T14:52:12ZSebastiano Trontosebastiano@tronto.net2025-08-06T14:34:21Zurn:sha1:57a7520545134ab95f7bb0397dcbe991c906a3e9Added DRFIN solver2025-08-05T07:04:00ZSebastiano Trontosebastiano@tronto.net2025-08-05T07:04:00Zurn:sha1:3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbbFixed nasty bug2025-08-01T09:56:02ZSebastiano Trontosebastiano@tronto.net2025-08-01T09:56:02Zurn:sha1:8b5612fb87e72e3b046a21344a3e5749721e4c1aReworked coordinate solver axis specification2025-08-01T09:26:49ZSebastiano Trontosebastiano@tronto.net2025-08-01T09:26:49Zurn:sha1:10632e9fa6e8037cd584a29536e6ab1be9ca359bFixed bug and added tests2025-07-31T13:59:03ZSebastiano Trontosebastiano@tronto.net2025-07-31T13:59:03Zurn:sha1:4e4c710131b143cfb6651d23945746f02bf2593eFix switch logic in coord solver2025-07-31T12:03:02ZSebastiano Trontosebastiano@tronto.net2025-07-31T12:03:02Zurn:sha1:e201ec3b7001a2652560bfa845d41abe0bc9f181Fix bug2025-07-31T11:09:42ZSebastiano Trontosebastiano@tronto.net2025-07-31T11:09:42Zurn:sha1:bf3497420c9a12397dc13a34faf3ce3e456f3aa7Fixed bug with counting solutions for coordinate solver2025-07-30T14:35:25ZSebastiano Trontosebastiano@tronto.net2025-07-30T14:35:25Zurn:sha1:36c317ebd1cf1dba8a8cbec494f4d3971e6cefd3