Keigo Imai keigoi
keigoi
/ gist:5887184
Last active
December 19, 2015 02:59
— forked from kazu-yamamoto/gist:5882488
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE GADTs, FlexibleInstances #-} | |
| module Main where | |
| import Control.Monad | |
| import Control.Monad.RWS.Strict | |
| import Control.Monad.Trans.Error | |
| import Prelude hiding (putChar, getChar) | |
| import qualified System.IO as IO |
keigoi
/ gist:8cf4d36e15ebdd28255d79aadff0a34b
Last active
December 20, 2016 11:34
— forked from athos/gist:1826678
Sudoku(9x9) solver in Alloy
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| abstract sig Digit {} | |
| one sig One, Two, Three, Four, Five, Six, Seven, Eight, Nine extends Digit {} | |
| sig Cell { | |
| content: Digit, | |
| adjacent : set Cell | |
| } | |
| abstract sig Group { | |
| cells: set Cell |