satchmo-2.8.2: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.SAT.Tmpfile

Documentation

data SAT a Source

Instances

Monad SAT
Functor SAT
MonadFix SAT
Applicative SAT
MonadIO SAT
MonadSAT SAT
MonadReader Handle SAT
type Decoder SAT = Reader (Array Int Bool)

data Header Source

Constructors

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

fresh, fresh_forall :: MonadSAT m => m Literal Source

fresh, 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