nissy-core - The "engine" of nissy, including the H48 optimal solver.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix table generation (breaking change)HEAD master	Sebastiano Tronto	3 hours	1	-37/+37
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	There was a small (but kinda silly) error in the prunin table generation for H48 solvers, resulting in some positions showing a higher lower bound than they actually had. This means that the solvers where in theory broken and could have skipped some solutions - but we have not found any example, as this would be an extremely rare situation. This affected all tables from H48h2 to H48h11. This bug was found by LLM-based coding analysis in the context of the development of egg-solver: https://github.com/ArhanChaudhary/egg-solver Thanks to Arhan Chaudhary for reporting the bug.
*	Added include guardsinclude-guards	Sebastiano Tronto	2026-09-17	1	-0/+5
\|
*	Update comments	Sebastiano Tronto	2025-12-14	1	-1/+4
\|
*	Cleanup, update documentation, fix examples	Sebastiano Tronto	2025-12-14	1	-117/+75
\|
*	Bye bye h0k4	Sebastiano Tronto	2025-12-14	1	-0/+4
\|
*	Intertwined table seems to work	Sebastiano Tronto	2025-12-14	1	-1/+1
\|
*	Cleanup some TODOs	Sebastiano Tronto	2025-07-29	1	-4/+1
\|
*	Small fixes	Sebastiano Tronto	2025-06-19	1	-2/+2
\|
*	Removed VLA notation from function parameters.	Sebastiano Tronto	2025-05-27	1	-2/+2
\| \| \| \| \|	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.
*	Refactored checkdata	Sebastiano Tronto	2025-05-19	1	-0/+234
	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.