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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Refactored checkdata	Sebastiano Tronto	2025-05-19	1	-40/+0
\| \| \| \| \| \| \| \|	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.
*	Restore logging to stderr for tools	Sebastiano Tronto	2025-04-17	1	-1/+1
\|
*	Better logging function	Sebastiano Tronto	2025-04-15	1	-1/+1
\| \| \| \| \| \| \|	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.
*	Added buffer sizes in API args	Sebastiano Tronto	2024-10-11	1	-2/+1
\|
*	Removed "options" from solver selection	Sebastiano Tronto	2024-10-10	1	-6/+6
\| \| \| \| \| \| \| \|	Now the solver name fully determines the solver (and options) to be used. For example, now one must specify "h48h0k4" as the name of the solver. This PR also fixes a couple of things in tools.
*	Added documentation on how to run derivedata	Sebastiano Tronto	2024-10-04	1	-0/+11
\|
*	Clean up tool output	Sebastiano Tronto	2024-10-04	1	-4/+1
\|
*	Made table derivation tool more flexible	Sebastiano Tronto	2024-09-27	1	-0/+33
	So apparently my RAM is broken. That took me a while to figure out. While I get a replacement, I have to restrict myself to a weaker test for the intermediate tables: instead of deriving them from the huge table and checking that they are the same, I have to derive a small h0k2 table from the intermediate ones and check that it is correct. This is not a 100% proof of correctness, but it is good enough (and much faster).