Satchmo.Solve

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)

solveW :: MaxWeight -> WeightedImplementation -> SAT (Decoder a) -> IO (Maybe a)

type Implementation = ByteString -> Header -> IO (Maybe (Map Variable Bool))

type WeightedImplementation = ByteString -> Header -> IO (Maybe (Map Variable Bool))

type Decoder a = Reader (Map Variable Bool) a