nissy-core/benchmark/benchmark.h, branch python-callback The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=python-callback 2024-07-03T13:05:10Z renamed benchmarks to tools 2024-07-03T13:05:10Z Sebastiano Tronto sebastiano@tronto.net 2024-07-03T13:05:10Z urn:sha1:4a16da26dacdb37b9ef8d3d11e10ecb94b0cf396 Added benchmark; removed old folder 2024-06-13T20:28:49Z Sebastiano Tronto sebastiano@tronto.net 2024-06-13T20:28:49Z urn:sha1:c04a283a7ab97903683f5f7268068aef69f5bddf