Math.SetCover.Exact

data Assign label set

assign

bitVectorFromSetAssigns

intSetFromSetAssigns

partitions

search

step

data State label set

initState

updateState

class Set set

data Tree label set

decisionTree

completeTree

class Choose set