Data.SBV.Examples.Puzzles.U2Bridge

Modeling the puzzle

data U2Member

type Time

type SU2Member

bono

edge

adam

larry

isU2Member

crossTime

type Location

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