satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.SAT.Tmpfile

Documentation

data Header Source

Constructors

Header 

Fields

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

Instances

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