nissy-core/tools/301_solve_file, branch threadsThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=threads2025-11-24T15:32:11ZFix 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.
Fixed table name in tools2025-07-31T11:42:33ZSebastiano Trontosebastiano@tronto.net2025-07-31T11:41:29Zurn:sha1:474039de7af2cee7fa309e06a5c4e75b81f220adAdded benchmarks for all solutions2025-06-19T15:20:32ZSebastiano Trontosebastiano@tronto.net2025-06-19T15:20:32Zurn:sha1:05bae37d768fca39c478d682545fedeb76f35409Small fixes2025-06-19T07:33:42ZSebastiano Trontosebastiano@tronto.net2025-06-19T07:33:42Zurn:sha1:39e736f68c0d92b47bd124357a33c02d2bd2fdc5Adapted solve tool to find multiple solutions2025-06-17T05:18:38ZSebastiano Trontosebastiano@tronto.net2025-06-17T05:18:38Zurn:sha1:eeb746063a55e7ec89df724beff17e4ba1467fdcAdded stop / pause / resume solve to API2025-04-29T08:08:04ZSebastiano Trontosebastiano@tronto.net2025-04-29T08:08:04Zurn:sha1:8d3fc9f5f9c0593fcae9c451efe6c89c64dcbe84Removed old scripts and updated public API2025-04-22T07:00:15ZSebastiano Trontosebastiano@tronto.net2025-04-22T07:00:15Zurn:sha1:8b72e391c7185e3da0dfbf0ab60068ac37e4d5ccAlways use unsigned char * for data buffers2025-04-21T12:44:07ZSebastiano Trontosebastiano@tronto.net2025-04-21T12:33:01Zurn:sha1:510a7471348788fccba6b7c4b9f7b7cc9aee6ba9
Before this commit I was inconsistently using one of void *, char *
and uint8_t *.
Restore logging to stderr for tools2025-04-17T12:36:47ZSebastiano Trontosebastiano@tronto.net2025-04-17T12:36:47Zurn:sha1:c182f3f16e56e9533060ffa06b25391e239a28eeBetter logging function2025-04-15T13:51:40ZSebastiano Trontosebastiano@tronto.net2025-04-15T13:51:40Zurn:sha1:b25a939e2d8b045c083caf3264c4e5aac1cf88fb
Now it is possible to provide some data together with the logging function.
This is useful for example in C++, where I can now provide an arbitrary
callable object as data, and a simple wrapper function that call the
callable object as logging function.