nissy-core/tools/001_derive_h48h0k2, branch python-callback The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=python-callback 2024-09-27T14:37:55Z Made table derivation tool more flexible 2024-09-27T14:37:55Z Sebastiano Tronto sebastiano@tronto.net 2024-09-27T14:37:55Z urn:sha1:41be2d294e5b6f55d485d635065096f274bc89c1 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). Use constant instead of magic number 2024-09-27T07:11:00Z Sebastiano Tronto sebastiano@tronto.net 2024-09-27T07:11:00Z urn:sha1:388b55b4ea644aa1b6074a70652b8f62e7755280