satchmo-1.3: SAT encoding monad
Satchmo.Code
class Decode c a | c -> a whereSource
Methods
decode :: c -> Decoder aSource
Instances
type Decoder a = Reader (Map Literal Bool) aSource