set-cover-0.1: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube
Math.SetCover.Exact.Knead.Saturated
partitionsIO :: Ord a => IO ([Assign label (Set a)] -> T [[label]])Source
searchIO :: IO (State label -> T [[label]])Source
stepIO :: IO (State label -> T [State label])Source
partitions :: Ord a => [Assign label (Set a)] -> [[label]]Source
data State label Source
Constructors
Fields
initStateIO :: Ord a => [Assign label (Set a)] -> IO (State label)Source
updateStateIO :: IO (SetId -> State label -> T (State label))Source