jawz/scripts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

sudoku solver now solves complex puzzles

Browse Source
This commit is contained in:
Danilo Reyes 2025-04-02 22:03:13 -06:00
parent 8f2ae33e75
commit 485e005ea6
1 changed files with 16 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/sudoku-hs/src/Main.hs
View File

@ -33,14 +33,20 @@ printGrid = putStrLn . unlines . map (unwords . map showCell)
where showCell = maybe "." show where showCell = maybe "." show
solve :: Grid -> Maybe Grid solve :: Grid -> Maybe Grid
solve g = case nextCell g of solve g
Nothing -> Just g | isComplete g = Just g
Just (r, c, opts) -> | otherwise = case nextCell g of
listToMaybe Nothing -> Nothing
[ result Just (r, c, opts) ->
| n <- opts listToMaybe
, let g' = updateGrid g r c (Just n) [ result
, Just result <- [solve g'] ] | n <- opts
, let g' = updateGrid g r c (Just n)
, Just result <- [solve g']
, isComplete result ]
isComplete :: Grid -> Bool
isComplete = all (notElem Nothing)
nextCell :: Grid -> Maybe (Int, Int, [Int]) nextCell :: Grid -> Maybe (Int, Int, [Int])
nextCell g = nextCell g =
@ -62,7 +68,7 @@ getRow :: Int -> Grid -> [Cell]
getRow r g = g !! r getRow r g = g !! r
getCol :: Int -> Grid -> [Cell] getCol :: Int -> Grid -> [Cell]
getCol c g = map (!! c) g getCol c = map (!! c)
getBox :: Int -> Int -> Grid -> [Cell] getBox :: Int -> Int -> Grid -> [Cell]
getBox r c g = getBox r c g =
@ -85,6 +91,6 @@ main = do
[filePath] -> do [filePath] -> do
grid <- readCSV filePath grid <- readCSV filePath
case solve grid of case solve grid of
Nothing -> putStrLn "No solution found." Nothing -> putStrLn "No complete solution found."
Just g -> printGrid g Just g -> printGrid g
_ -> putStrLn "Usage: sudoku-solver <sudoku.csv>" _ -> putStrLn "Usage: sudoku-solver <sudoku.csv>"