nissy-core/src/solvers/coord, 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.
Added cornersx solver2025-12-23T10:53:57ZSebastiano Trontosebastiano@tronto.net2025-12-23T10:53:57Zurn:sha1:83f6533c384a617181e818d1941b08e40aa40b7dAdd coordinate solvers for corners2025-12-19T06:32:09ZSebastiano Trontosebastiano@tronto.net2025-12-19T06:32:09Zurn:sha1:de04d37e8520079f5bba3b1a87d42313297543dbFix 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:3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbbMove is_eo_even to more appropriate module2025-08-01T21:32:19ZSebastiano Trontosebastiano@tronto.net2025-08-01T21:32:19Zurn:sha1:7ff76870242b6906b6f3caf22da3c094822ed140Added CPEPE coordinate in preparation of full DRFIN solver2025-08-01T14:52:44ZSebastiano Trontosebastiano@tronto.net2025-08-01T14:52:44Zurn:sha1:1bd4691d9cc46ec75adbe899b289a1ebc5460721Fixed 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:10632e9fa6e8037cd584a29536e6ab1be9ca359b