nissy-core/tools/409_solvetest_DRSLICE_FB, branch threads The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=threads 2025-08-07T15:13:49Z Added solver aliases 2025-08-07T15:13:49Z Sebastiano Tronto sebastiano@tronto.net 2025-08-07T15:13:49Z urn:sha1:d1747a694ea65a463d6e9b6f7408ae969a8bfff5 Shortened name for solvetests 2025-08-05T07:24:33Z Sebastiano Tronto sebastiano@tronto.net 2025-08-05T07:24:33Z urn:sha1:ce787387f258a4d7caab39d2c2c7d2161ae89a82