satchmo-2.6.0: SAT encoding monad
Satchmo.MonadSAT
class (MonadFix m, Functor 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
Fields