Availability Spencer Krieger and John Kececioglu January, 2021 Source code The heuristic and hyperpath enumeration source code, including all datasets, is available on GitHub.