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