phtb233 / solvable-games

A set of puzzles solved by the selection monad (see https://github.com/phtb233/sequential-games).

Solvable Games

How to run:

Stack is recommended for building and executing this code.

$ git clone https://github.com/phtb233/solvable-games
$ cd solvable-games
$ stack run

This project features some puzzles solved by the Selection Monad.

Solved in parallel:

• Sudoku
• Connect 3 / Connect 4
• TicTacToe
• NQueens

Computed sequentially:

• Futoshiki
• Nonograms
• Buchstabensalat
• Inshi no Heya
• Nim (SubtractionGame)
• River Crossing Problem

The selection monad itself is contained in the module 'GameLogic'.