Jukebox.Sat.Easy

data Sat1 a b

data Sat a b c

data SatState a

type Watch a

data Form a

nt

true

false

unique

runSat

runSat1

atIndex

solve

model

modelValue

addForm

flatten

lit

var