satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.MonadSAT

Documentation

class (MonadFix m, Applicative m, Monad m) => MonadSAT m where Source

Associated Types

type Decoder m :: * -> * Source

Methods

fresh, fresh_forall :: m Literal Source

emit :: Clause -> m () Source

note :: String -> m () Source

emit some note (could be printed by the backend)

decode_variable :: Variable -> Decoder m Bool Source

Instances

type Weight = Int Source

data Header Source

Constructors

Header 

Fields

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

Instances