nissy-core/tools/404_solvetest_opt1_DR_UD, branch master The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=master 2025-07-31T13:59:03Z Fixed bug and added tests 2025-07-31T13:59:03Z Sebastiano Tronto sebastiano@tronto.net 2025-07-31T13:59:03Z urn:sha1:4e4c710131b143cfb6651d23945746f02bf2593e Added solvetest tools, found bug in DR 2025-07-31T12:16:48Z Sebastiano Tronto sebastiano@tronto.net 2025-07-31T12:16:48Z urn:sha1:6184781dbc28669a52de8a3bd95e5815a09fa674