set-cover-0.1: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube

Safe HaskellNone

Math.SetCover.Exact.Knead.Saturated

Documentation

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

initStateIO :: Ord a => [Assign label (Set a)] -> IO (State label)Source

updateStateIO :: IO (SetId -> State label -> T (State label))Source