satchmo-1.0: SAT encoding monad
Satchmo.Solve
solve :: SAT (Decoder a) -> IO (Maybe a)Source
type Decoder a = Reader (Map Literal Bool) aSource