Satchmo.SAT.Toysat

Documentation

data SAT a

Instances

Monad SAT

Functor SAT

MonadFix SAT

Applicative SAT

MonadSAT SAT

Decode SAT Boolean Bool

type Decoder SAT = SAT

fresh :: 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)