satchmo-1.1.1: SAT encoding monad

Satchmo.Solve

Documentation

solve :: SAT (Decoder a) -> IO (Maybe a)Source

type Decoder a = Reader (Map Literal Bool) aSource