Data.SBV.Examples.Puzzles.U2Bridge

Modeling the puzzle

data U2Member

type SU2Member

bono

edge

adam

larry

type Time

type STime

crossTime

sCrossTime

data Location

type SLocation

here

there

data Status

start

type Move a

peek

whereIs

xferFlash

xferPerson

bumpTime1

bumpTime2

whenS

move1

move2

Actions

type Actions

run

Recognizing valid solutions

isValid

Solving the puzzle

solveN

solveU2