Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
语言:Haskell · GitHub 星标:67 · Fork:6
在 GitHub 上查看原仓库