satchmo-1.9.1: SAT encoding monad

Satchmo.SAT.Tmpfile

Documentation

data SAT a Source

Instances

Monad SAT
Functor SAT
MonadIO SAT
MonadSAT SAT
MonadReader Handle SAT
MonadState Accu SAT

data Header Source

Constructors

Header
Fields numClauses :: !Int numVars :: !Int universals :: ![Int]

fresh :: MonadSAT m => m Literal Source

fresh_forall :: MonadSAT m => m Literal Source

emit :: MonadSAT m => Clause -> m ()Source

type Weight = Int Source

sat :: SAT a -> IO (ByteString, Header, a)Source