satchmo-1.4: SAT encoding monad

Satchmo.Solve

Description

This is the API for plugging in solver implementations. Actual implementations are in the (separate) package satchmo-backends

Documentation

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