Satchmo.SAT.Mini

Documentation

data SAT a

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

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

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

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