This is the API for plugging in solver implementations.
Actual implementations are in the (separate) package satchmo-backends
Documentation
type Implementation = ByteString -> Header -> IO (Maybe (Map Variable Bool))Source
type WeightedImplementation = ByteString -> Header -> IO (Maybe (Map Variable Bool))Source