aboutsummaryrefslogtreecommitdiff
path: root/src/solvers (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Minor improvementSebastiano Tronto2025-12-191-2/+7
| | | | | | | | | 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 cornersh48-corner-estimateSebastiano Tronto2025-12-197-1/+89
|
* Improve pruning value fetching and re-do benchmarksSebastiano Tronto2025-12-172-20/+37
|
* Move some checks around, small improvementSebastiano Tronto2025-12-171-11/+9
|
* Swap bit pairs in pval_minSebastiano Tronto2025-12-161-5/+4
|
* Update commentsSebastiano Tronto2025-12-142-5/+7
|
* Cleanup, update documentation, fix examplesSebastiano Tronto2025-12-146-235/+157
|
* Bye bye h0k4Sebastiano Tronto2025-12-145-310/+27
|
* Intertwined table seems to workSebastiano Tronto2025-12-149-34/+178
|
* Fix duplicate solutions, overflow in maxsols and improve symmetry reduction ↵Sebastiano Tronto2025-11-245-118/+203
| | | | | | | | | | | | for H48. 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.
* Made H48 solver safer for 32bit size_tSebastiano Tronto2025-08-111-2/+9
|
* Wrapped pthread use in custom APISebastiano Tronto2025-08-115-60/+69
|
* Added solver aliasesSebastiano Tronto2025-08-071-7/+39
|
* Added API function for solution variationsSebastiano Tronto2025-08-072-5/+5
|
* Added HTR solverSebastiano Tronto2025-08-0612-68/+164
|
* Added DRFIN solverSebastiano Tronto2025-08-0514-75/+543
|
* Move is_eo_even to more appropriate moduleSebastiano Tronto2025-08-011-14/+0
|
* Added CPEPE coordinate in preparation of full DRFIN solverSebastiano Tronto2025-08-011-0/+86
|
* Fixed nasty bugSebastiano Tronto2025-08-011-0/+2
|
* Reworked coordinate solver axis specificationSebastiano Tronto2025-08-0110-61/+24
|
* Added solvetests for DRSLICESebastiano Tronto2025-08-011-2/+2
| | | | | This also changes the rotation axes for DRSLICE, so that the move U gets transformed to R and F instead of L and B.
* Fixed bug and added testsSebastiano Tronto2025-07-311-32/+25
|
* Fix switch logic in coord solverSebastiano Tronto2025-07-311-0/+8
|
* Fix bugSebastiano Tronto2025-07-312-23/+58
|
* Fixed bug with counting solutions for coordinate solverSebastiano Tronto2025-07-302-8/+3
|
* added drslice coordinateSebastiano Tronto2025-07-3011-52/+197
|
* All coordinates unsignedSebastiano Tronto2025-07-2912-85/+81
|
* Cleanup some TODOsSebastiano Tronto2025-07-297-20/+8
|
* Make failed assert exit immediatelySebastiano Tronto2025-07-283-7/+5
|
* Renamed drslice drfinnoeSebastiano Tronto2025-07-173-26/+26
|
* Comments for drsliceSebastiano Tronto2025-07-171-4/+15
|
* Small optimization for coord gendataSebastiano Tronto2025-07-171-5/+10
|
* Working drslice (same results as nissy-classic)Sebastiano Tronto2025-07-174-0/+137
|
* Small fixesSebastiano Tronto2025-06-191-2/+2
|
* Trick fixSebastiano Tronto2025-06-181-6/+21
|
* Change min depth for H48 tasks heuristic sortSebastiano Tronto2025-06-181-1/+1
|
* Big speedup for H48 solver (heuristic sort of tasks)Sebastiano Tronto2025-06-181-19/+46
|
* More improvements to web solverSebastiano Tronto2025-05-301-8/+8
|
* Fix small build error with clangSebastiano Tronto2025-05-281-1/+2
|
* Removed VLA notation from function parameters.Sebastiano Tronto2025-05-279-38/+38
| | | | | I found out that this gives undefined behavior when then size is 0. Better not to have it at all, it is confusing for other developers anyway.
* Avoid pausing for logging only if poll_status() is null (h48 solver).Sebastiano Tronto2025-05-261-10/+7
| | | | | | | | | | | | This is a small amendment to c6a77f30f64be73a5e55e06336975f2ecfbb2324, which changed the way we log solutions while the h48 solver is running. With the method recently introduced, the main thread checks for solutions to log every 0.5 seconds, resulting in a possible slowdown of at most 0.5s per solve. The solutions are also logged when all worker threads are completed. With this new method, when the poll_status() callback function is NULL, which likely means nissy is not run interactively, we rely only on the final log on completion of the worker threads. This means less frequent logging, but at no performance cost.
* CleanupSebastiano Tronto2025-05-251-1/+2
|
* Quick fix for bugSebastiano Tronto2025-05-251-9/+8
|
* Do all loggin in main threadSebastiano Tronto2025-05-236-92/+122
| | | | | | | | | | | | | | | | | Before this committ, the solver (via the generic solution-appender routines in src/solve/solutions.h) and the H48 data generator did some logging in the worker threads, without using any locks. This was not nice, but in practice it did not cause any problem, because the log messages were rare. However, this turned out to be a problem when building to WASM, because web workers do not have access to the main JS memory, and therefore they cannot call functions from the main JS. This includes not only the callback functions for logging, but also those for polling the status of the solver (run / pause / stop). This commit fixes this at the cost or being somewhat inelegant: the solutions are not logged as they are found, but only every 500ms.
* Refactored checkdataSebastiano Tronto2025-05-1915-112/+392
| | | | | | | | Relevant changes include: - Changed the signature of nissy_checkdata(). - Removed expected_distribution.h from tools; this data is now included in each solver's src/ code. - Removed distribution check for cocsep; may add back later.
* Refactor solver dispatch and checkdataSebastiano Tronto2025-05-1812-134/+287
|
* Other minor fixesSebastiano Tronto2025-05-091-2/+2
|
* Added build scriptSebastiano Tronto2025-05-071-1/+1
|
* Added stop / pause / resume solve to APISebastiano Tronto2025-04-292-10/+73
|
* NISSSebastiano Tronto2025-04-255-20/+19
|

Generated with cgit - Back to sebastiano.tronto.net