set-cover-0.0.3: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube
Math.SetCover.Exact
class Set set whereSource
Methods
null :: set -> BoolSource
disjoint :: set -> set -> BoolSource
unions :: [set] -> setSource
difference :: set -> set -> setSource
minimize :: set -> [Assign label set] -> [Assign label set]Source
Instances
data Assign label set Source
Constructors
Fields
assign :: label -> set -> Assign label setSource
data State label set Source
initState :: Set set => [Assign label set] -> State label setSource
updateState :: Set set => Assign label set -> State label set -> State label setSource
step :: Set set => State label set -> [State label set]Source
search :: Set set => State label set -> [[label]]Source
partitions :: Set set => [Assign label set] -> [[label]]Source