Satchmo.SAT.Seq

Documentation

data SAT a

Instances

Monad SAT

Functor SAT

MonadSAT SAT

MonadState Header SAT

MonadWriter (Seq ByteString) SAT

data Header

Constructors

Header

Fields

numClauses :: !Int

numVars :: !Int

universals :: ![Int]

Instances

Show Header

MonadState Header SAT

MonadState Header SAT

fresh :: MonadSAT m => m Literal

fresh_forall :: MonadSAT m => m Literal

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

type Weight = Int

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