Satchmo.SAT.Tmpfile

Documentation

data SAT a

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

Constructors

Header

Fields

numClauses :: !Int

numVars :: !Int

universals :: ![Int]

Instances

Show Header

fresh, fresh_forall :: MonadSAT m => m Literal

fresh, fresh_forall :: MonadSAT m => m Literal

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

type Weight = Int

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