aboutsummaryrefslogtreecommitdiff
path: root/src/solvers (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-07-17Renamed drslice drfinnoeSebastiano Tronto3-26/+26
2025-07-17Comments for drsliceSebastiano Tronto1-4/+15
2025-07-17Small optimization for coord gendataSebastiano Tronto1-5/+10
2025-07-17Working drslice (same results as nissy-classic)Sebastiano Tronto4-0/+137
2025-06-19Small fixesSebastiano Tronto1-2/+2
2025-06-18Trick fixSebastiano Tronto1-6/+21
2025-06-18Change min depth for H48 tasks heuristic sortSebastiano Tronto1-1/+1
2025-06-18Big speedup for H48 solver (heuristic sort of tasks)Sebastiano Tronto1-19/+46
2025-05-30More improvements to web solverSebastiano Tronto1-8/+8
2025-05-28Fix small build error with clangSebastiano Tronto1-1/+2
2025-05-27Removed VLA notation from function parameters.Sebastiano Tronto9-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.
2025-05-26Avoid pausing for logging only if poll_status() is null (h48 solver).Sebastiano Tronto1-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.
2025-05-25CleanupSebastiano Tronto1-1/+2
2025-05-25Quick fix for bugSebastiano Tronto1-9/+8
2025-05-23Do all loggin in main threadSebastiano Tronto6-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.
2025-05-19Refactored checkdataSebastiano Tronto15-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.
2025-05-18Refactor solver dispatch and checkdataSebastiano Tronto12-134/+287
2025-05-09Other minor fixesSebastiano Tronto1-2/+2
2025-05-07Added build scriptSebastiano Tronto1-1/+1
2025-04-29Added stop / pause / resume solve to APISebastiano Tronto2-10/+73
2025-04-25NISSSebastiano Tronto5-20/+19
2025-04-23Adjusted solvers, fixed bugSebastiano Tronto4-16/+35
2025-04-22Update tests for oriented_cube_tSebastiano Tronto1-2/+2
2025-04-21Always use unsigned char * for data buffersSebastiano Tronto14-176/+188
Before this commit I was inconsistently using one of void *, char * and uint8_t *.
2025-04-20Improve order of moves in NISS solutionsSebastiano Tronto1-18/+62
Now the side that has more moves is written first. For example: write (U L F) B instead of B (U L F) This also fixes the test on appendsolutions, which used an older version of the function's signature.
2025-04-19Improved logging, especially for solveSebastiano Tronto7-59/+73
2025-04-17Sped up checkdata for H48 tablesSebastiano Tronto2-9/+57
2025-04-17Small rework of optimal vs maxsolsSebastiano Tronto4-29/+23
I wanted to make the "optimal" and "maxsolutions" options mutually exclusive, but in the end I decided there is value in keeping both (e.g. for specifying a limit to the number of solutions when asking for "all" optimal"). Now optimal cannot be negative anymore, for the same reason of maxsolutions. The interface user (shell, UI) will have to take care of handling this in a way that makes sense for the user. Usually this means setting the maximum number of solutions to UINT_MAX (or a similar very high number) when the user wants "all optimal".
2025-04-15Log solutions as they are foundSebastiano Tronto3-7/+18
2025-04-08Some minor changes to the interface.Sebastiano Tronto3-4/+4
- Simplified logger to accept only a string, not a variadic list of args like printf(). This can still use some improvement, but now it is easier to use from other languages. - Fixed some misuses of the logger (wrong types etc) - Renamed some constants - Fixed some typos in comments.
2025-04-02Added dreo coordinate solverSebastiano Tronto9-14/+168
2025-04-01Make single-use struct field anonymousSebastiano Tronto1-12/+10
2025-04-01Make symcoord logic genericSebastiano Tronto4-115/+191
2025-04-01Fix mismatched type in function prototype and implementationSebastiano Tronto2-2/+2
2025-04-01simplified allowedmoves logicSebastiano Tronto4-10/+31
2025-03-29Optimize genptable for coordinate solve (20x speedup)Sebastiano Tronto2-19/+99
2025-03-28DR coordinate solverSebastiano Tronto6-14/+231
2025-03-25More safety with pointers using VLA function parametersSebastiano Tronto12-127/+150
2025-03-25Tiny bugfix in solution writingSebastiano Tronto1-4/+5
2025-03-25Added NISS to coord solverSebastiano Tronto7-95/+272
2025-03-25Tiny fixSebastiano Tronto1-4/+4
2025-03-24Big cleanup for appendsolution()Sebastiano Tronto6-267/+359
With this PR the appendsolution routine is extracted from the h48 solver and the new coordinate solver and made generic. This has many advantages: - less repetition (even if the two versions are different enough that *for now* it was not a big deal) - smaller h48/solve.h file, which is already a big beast - easier to test the appendsolution() routine separately
2025-03-22Some safety with move arrays, small refactor appendcharSebastiano Tronto9-83/+77
2025-03-19Filter solutions for coordinate solver and fix orderingSebastiano Tronto3-3/+7
2025-03-14BugfixSebastiano Tronto1-4/+14
2025-03-14Added checkdata for coord EOSebastiano Tronto2-0/+25
2025-03-14Replaced datasize with solverinfoSebastiano Tronto2-1/+19
2025-03-12Revert API changeSebastiano Tronto3-10/+25
2025-03-09Working (?) version of coordinate solverSebastiano Tronto6-38/+72
2025-03-08renamed some filesSebastiano Tronto5-7/+6

Generated with cgit - Back to sebastiano.tronto.net