Data.SBV.Examples.Puzzles.U2Bridge
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
type Actions
run
isValid
solveN
solveU2