Skip to content

Instantly share code, notes, and snippets.

Avatar

Masahiro Sakai msakai

View GitHub Profile
@msakai
msakai / umineko8challenge.als
Created Jan 10, 2011
うみねこのなく頃に8 のベルンの挑戦のAlloyモデル
View umineko8challenge.als
// うみねこのなく頃に8 のベルンの挑戦のAlloyモデル
abstract sig Person { kill : set Person }
one sig
Krauss, Natsuhi, Jessica,
Eva, Hideyoshi, George,
Rudolf, Kyrie, Battler,
Rosa, Maria,
Nanjo,
Genji, Shannon, Kanon, Gouda, Kumasawa
extends Person {}
@msakai
msakai / fakecoin.als
Created Jan 13, 2011
贋金パズルのAlloyモデル
View fakecoin.als
// 失敗版
sig Coin {}
abstract sig State {
  candidates : set Coin,
}
sig Branch extends State {
  left, right : set Coin, 
  eq, lt, gt : State
@msakai
msakai / FourierMotzkin.hs
Created Jan 18, 2011
Naïve implementation of Fourier-Motzkin Variable Elimination
View FourierMotzkin.hs
{-# OPTIONS_GHC -Wall #-}
-----------------------------------------------------------------------------
-- |
-- Module : FourierMotzkin
-- Copyright : (c) Masahiro Sakai 2011
-- License : BSD-style
--
-- Maintainer : masahiro.sakai@gmail.com
-- Stability : provisional
-- Portability : portable
@msakai
msakai / Simplex.hs
Created Jan 24, 2011
Naïve implementation of Simplex method
View Simplex.hs
{-# LANGUAGE ScopedTypeVariables #-}
{-# OPTIONS_GHC -Wall #-}
-----------------------------------------------------------------------------
-- |
-- Module : Simplex
-- Copyright : (c) Masahiro Sakai 2011
-- License : BSD-style
--
-- Maintainer : masahiro.sakai@gmail.com
-- Stability : provisional
@msakai
msakai / Cooper.hs
Created Jan 27, 2011
Naïve implementation of Cooper's algorithm
View Cooper.hs
{-# OPTIONS_GHC -Wall #-}
-----------------------------------------------------------------------------
-- |
-- Module : Cooper
-- Copyright : (c) Masahiro Sakai 2011
-- License : BSD-style
--
-- Maintainer : masahiro.sakai@gmail.com
-- Stability : provisional
-- Portability : portable
@msakai
msakai / LPFile.hs
Created Feb 24, 2011
A CPLEX lp format parser library
View LPFile.hs
{-# OPTIONS_GHC -Wall -fno-warn-unused-do-bind #-}
-----------------------------------------------------------------------------
-- |
-- Module : LPFile
-- Copyright : (c) Masahiro Sakai 2011
-- License : BSD-style
--
-- Maintainer : masahiro.sakai@gmail.com
-- Stability : provisional
-- Portability : portable
View Quiz2.hs
type S = ((Int,Int),(Int,Int),(Int,Int))
guess :: S -> S
guess ((a1,a2),(b1,b2),(c1,c2)) =
case (a1+b1) `compare` (b2+c1) of
EQ ->
if b1 < b2
then ((100,99),(99,100),(99,100))
else ((99,100),(100,99),(100,99))
LT ->
View SAT.rb
class SATSolver
def initialize
@cnt = 0
@ok = true
@clauses = []
@model = Hash.new
@watches = Hash.new
end
View TseitinEncoding.hs
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module TseitinEncoding
( Var
, Lit
, Clause
, CNF
, Formula
, CNFGenMonad (..)
, emitFormula
, CNFGen
@msakai
msakai / TuplingExample.hs
Created Mar 25, 2011
タプル化の簡単な例
View TuplingExample.hs
module TuplingExample where
import Prelude hiding (even, odd)
even :: Int -> Bool
even n = if n==0 then True else odd (n-1)
odd :: Int -> Bool
odd n = if n==0 then False else even (n-1)