Math.SetCover.Exact

data Assign label set

assign

partitions

search

step

data State label set

initState

updateState

class Set set