satchmo-2.8.2: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.SAT.Mini

Documentation

data SAT a Source

Instances

Monad SAT
Functor SAT
MonadFix SAT
Applicative SAT
MonadSAT SAT
Decode SAT Boolean Bool
type Decoder SAT = SAT

fresh, fresh_forall :: MonadSAT m => m Literal Source

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

solve :: SAT (SAT a) -> IO (Maybe a) Source

solve_with_timeout :: Maybe Int -> SAT (SAT a) -> IO (Maybe a) Source