Skip to content

Instantly share code, notes, and snippets.

Keigo Imai keigoi

Block or report user

Report or block keigoi

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
keigoi / gist:8cf4d36e15ebdd28255d79aadff0a34b
Last active Dec 20, 2016 — forked from athos/gist:1826678
Sudoku(9x9) solver in Alloy
View gist:8cf4d36e15ebdd28255d79aadff0a34b
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
View gist:5887184
{-# 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
You can’t perform that action at this time.