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

	Commit message (Collapse)	Author	Files	Lines
2024-10-14	Fix gendata	Sebastiano Tronto	1	-2/+2

2024-10-14	Interface changes, progress with python	Sebastiano Tronto	1	-12/+13

2024-10-11	Added buffer sizes in API args	Sebastiano Tronto	1	-3/+4

2024-10-10	Removed "options" from solver selection	Sebastiano Tronto	1	-47/+41
	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.
2024-10-05	Added distribution check to tool	Sebastiano Tronto	1	-0/+1

2024-10-04	Clean up tool output	Sebastiano Tronto	1	-9/+4

2024-09-27	Made table derivation tool more flexible	Sebastiano Tronto	1	-12/+21
	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).
2024-09-27	Use constant instead of magic number	Sebastiano Tronto	1	-1/+1

2024-09-27	First try for derive tables	Sebastiano Tronto	1	-0/+64

2024-09-26	small fix	Sebastiano Tronto	1	-1/+1

2024-09-26	Added TOOLARGS and simplified gendata tool(s)	Sebastiano Tronto	1	-4/+16

2024-09-19	Removed double import	Sebastiano Tronto	1	-1/+0

2024-09-18	Renamed tools; fixed solve tool; added gendata_h48h1k2 tool	Sebastiano Tronto	1	-1/+1

2024-09-12	Cleanup gendata tools	Sebastiano Tronto	1	-24/+93

2024-09-11	Finished table refactor	Sebastiano Tronto	1	-0/+10

2024-08-29	Refactor tools to remove duplicate code	Sebastiano Tronto	1	-0/+106