toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Combinatorial.HittingSet.Simple
Description
minimalHittingSets :: Set IntSet -> Set IntSet Source #
enumMinimalHittingSets :: Set IntSet -> [IntSet] Source #