nissy-core/h48_to_src, branch master The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=master 2023-10-22T21:43:36Z Preparatory work for benchmarks, little fixes 2023-10-22T21:43:36Z Sebastiano Tronto sebastiano@tronto.net 2023-10-22T21:34:53Z urn:sha1:b3622e04dfb8317b745f8c911d31dc80bc2f9d66 Added transformations (and fixed tests) 2023-10-22T20:46:52Z Sebastiano Tronto sebastiano@tronto.net 2023-10-22T20:46:52Z urn:sha1:4a7e2dccaa54bc42a4b67cf35cf8b926cf357bb3