satchmo-1.9.1: SAT encoding monad
Satchmo.SAT.Tmpfile
data SAT a Source
Instances
data Header Source
Constructors
Fields
fresh :: MonadSAT m => m LiteralSource
fresh_forall :: MonadSAT m => m LiteralSource
emit :: MonadSAT m => Clause -> m ()Source
type Weight = IntSource
sat :: SAT a -> IO (ByteString, Header, a)Source