ToySolver.HittingSet.SHD
data
Options
data
Failure
defaultOptions
minimalHittingSets