Satchmo.SAT.Mini

Documentation

data SAT a

Instances

Monad SAT

Functor SAT

MonadFix SAT

Applicative SAT

MonadIO SAT

need this for hashtables

MonadSAT SAT

Decode SAT Boolean Bool

type Decoder SAT = SAT

fresh, fresh_forall :: MonadSAT m => m Literal

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

newtype SolveOptions

Constructors

SolveOptions

Fields

verboseOutput :: Bool

defaultSolveOptions :: SolveOptions

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

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

solveWith :: SolveOptions -> SAT (SAT a) -> IO (Maybe a)

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